/ibex-lib

IBEX is a C++ library for constraint processing over real numbers.

Primary LanguageC++GNU Lesser General Public License v3.0LGPL-3.0

Stargazers