ibex

C++ library for constraint processing over real numbers

http://www.ibex-lib.org/

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

JSON API for ibex

Formula code on GitHub

Fork me on GitHub