ibex

C++ library for constraint processing over real numbers

brewmacoslinux

Try with needOr install directly

About

C++ library for constraint processing over real numbers

ibex

Solve a simple constraint satisfaction problem with real variables$ ibex -f problem.ibex

Display help and available options for IBEX solver$ ibex --help

Compile and link IBEX library in C++ project$ g++ -o program program.cpp $(pkg-config --cflags --libs ibex)