🎛 DIMACS Language Support for VS Code
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.
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.