IBEX is a C++ library for constraint processing over real numbers.
Primary LanguageC++GNU Lesser General Public License v3.0LGPL-3.0
http://www.ibex-lib.org