ibex

C++ library for constraint processing over real numbers
http://www.ibex-lib.org/

Current versions
2.6.5
HEAD

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

Recent formula history

ilovezfs ibex 2.6.5
ilovezfs ibex 2.6.4
ilovezfs ibex 2.6.3
ilovezfs ibex 2.6.2
ilovezfs Audit fixes for descriptions (#20013)

Formula code at GitHub