language-minibex Syntax for MinIbex mathematical language used to define models for IBEX solver raphaelchenouard 36 0 0.2.0 MIT GitHub Share Package Link MarkDown Link Iconic MarkDown Link Install language-minibex-syntax Syntax for MinIbex language (http://ibex-lib.org/doc/minibex.html)