npm

ibex

C++ library for constraint solving over real numbers

brewmacoslinux

Try with needOr install directly

Source

About

C++ library for constraint processing over real numbers

Examples

solve optimization problems with continuous variables

$ #include <ibex.h>
using namespace ibex;
Function f("x", "y", "x^2 + y^2");
Systematic solver(f);
solver.solve();

find all solutions to nonlinear equations

$ #include <ibex.h>
using namespace ibex;
Function f("x", "sin(x) - 0.5");
CtcHC4 ctc(f);
IntervalVector box(1); box[0] = Interval(0, M_PI);
ctc.contract(box);

verify feasibility of constraint systems

$ #include <ibex.h>
using namespace ibex;
System sys("constraints.txt");
CtcCompo ctc(sys);
IntervalVector box = sys.box;
ctc.contract(box);

propagate constraints in interval domains

$ #include <ibex.h>
using namespace ibex;
IntervalVector box(3);
CtcInverse ctc_sin(Function("x", "sin(x)"), Interval(0, 0.5));
ctc_sin.contract(box[0]);

use in C++ projects for certified computation$ g++ -o solver my_program.cpp -libex -lstdc++