This plugin supports syntax highlighting and some basic file type settings for the SAT problem specification file format DIMACS.
v0.3.0
Added support for traces.v0.2.0
Added support for QDIMACS.
Using a plugin manager similar to vim-plug:
Plug 'MarcelSimader/Vim-DIMACS'
Creative Commons Attribution-ShareAlike (CC BY-SA 4.0)