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