Verified record · from the answer index

ibex

clitested · static-verifiedscore 23/100signed passport ✓7 monthly downloads

C++ library for constraint processing over real numbers

cli:brew:ibex · published by ibex-team · source repository