Skip to content

README.md

Latest commit

 

History

History
19 lines (11 loc) · 1.09 KB

README.md

File metadata and controls

19 lines (11 loc) · 1.09 KB

🎛 DIMACS Language Support for VS Code

VSCode Marketplace version VSCode Marketplace version

DIMACS CNF is a standard format for representing boolean formulas in conjunctive normal form.

This extension provides syntax highlighting for .cnf files using the DIMACS CNF format.

DIMACS syntax highlighting in VS Code

Contributing

The files that are used to define the language are below:

  • syntaxes/dimacs.tmLanguage.json - the Text mate grammar file that is used for tokenization.
  • language-configuration.json - the language configuration, defining the tokens that are used for comments and brackets.

To test, press F5 when editing the extension with VS Code to open a new window with the extension loaded.