Minibex support for VSCode
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.
- Minimal syntax highlighting for the Minibex language.
- Various snippets for Minibex (if you forget the syntax!):
runOpt to launch a solver or optimizer on the current Minibex file.
There is no requirements.
This extension contributes the following settings:
minibex.ibexOptimPath: path to
minibex.ibexSolverPath: path to
minibex.solverMinEps: paving precision,
minibex.optGoalEps: precision on objective,
- Syntax highlighting is still minimal, and could not work in more complex cases. The defined grammar is very basic.
- Colors are a bit ugly.