GitHub repository: vishalbelsare/ibex-lib
Description: IBEX is a C++ library for constraint processing over real numbers.