Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>DIMACS Language SupportNew to Visual Studio Code? Get it now.
DIMACS Language Support

DIMACS Language Support

Ewan Breakey

|
1,830 installs
| (1) | Free
Language support for CNF/DNF files in DIMACS format
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

🎛 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.

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft