A simple implementation of VIM syntax for the DIMACS CNF/WCNF format - nowadays a standard format for CNF formulas used by the SAT community.
Set up Pathogen then clone/submodule
this repo into ~/.vim/bundle/dimacs, or wherever you've pointed your
Pathogen.
Set up Vundle then add Plugin 'alexeyignatiev/vim-dimacs' to your vimrc and run :PluginInstall from a
fresh vim.
Set up vim-plug. In your .vimrc,
between the lines for call plug#begin() and call plug#end(), add the line
Plug 'alexeyignatiev/vim-dimacs'. Then run :PlugInstall from a fresh vim
instance.
Set up Janus and then clone/submodule this
repo into ~/.janus and restart vim.