ibex

C++ library for constraint processing over real numbers

Current versions:

stable	✅	2.6.5
head	⚡️	HEAD
bottle	🍾	high_sierra, sierra, el_capitan

Options:

--with-java	Enable Java bindings for CHOCO solver.
--with-ampl	Use AMPL file loader plugin

Depends on when building from source:

bison	✅	3.0.4	Parser generator
flex	✅	2.6.4	Fast Lexical Analyzer, generates Scanners (tokenizers)
pkg-config	✅	0.29.2	Manage compile and link flags for libraries

Requires: :java