ibex-team/ibex-lib

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

语言：C++ · GitHub 星标：93 · Fork：57

在 GitHub 上查看原仓库