This plugin provides syntax highlighting and snippets for the Minibex file format, featured in the IBEX library. It also allows to immediately launch the ibex optimizer or solver in the editor.
Features
Minimal syntax highlighting for the Minibex language.
Various snippets for Minibex (if you forget the syntax!):