C++ library for constraint processing over real numbers

Current versions

ibex requires the following formulae to be installed:
bison 3.0.4_1 Parser generator
flex 2.6.4 Fast Lexical Analyzer, generates Scanners (tokenizers)
pkg-config 0.29.2 Manage compile and link flags for libraries

Formula history

ilovezfs ibex 2.6.3
ilovezfs ibex 2.6.2
ilovezfs Audit fixes for descriptions (#20013)
ilovezfs Use “squiggly” heredocs.
ilovezfs ibex 2.6.1
ilovezfs ibex 2.6.0
JCount ibex 2.5.3
ilovezfs ibex 2.5.2
ilovezfs ibex 2.5.1
ilovezfs ibex 2.4.2
Show all revisions of this formula