ibex

C++ library for constraint processing over real numbers

https://web.archive.org/web/20190826220512/www.ibex-lib.org/

/api/formula-linux/ibex.json (JSON API)

Linux formula code on GitHub

Current versions:

stable 2.8.7
head ⚡️ HEAD
bottle 🍾 catalina, mojave, high_sierra

Depends on:

zlib 1.2.11 General-purpose lossless data-compression library

Depends on when building from source:

bison 3.5.4 Parser generator
flex 2.6.4 Fast Lexical Analyzer, generates Scanners (tokenizers)
pkg-config 0.29.2 Manage compile and link flags for libraries
python@2 2.7.17 Interpreted, interactive, object-oriented programming language

Requires: macOS

Fork me on GitHub