dreal-deps / ibex-lib Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ibex-team/ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
Home Page: http://www.ibex-lib.org
License: GNU Lesser General Public License v3.0