sci-mathematics/

boolector

https://github.com/Boolector/boolector/

Documentation	https://boolector.github.io/docs/index.html
Bugs-To	https://github.com/Boolector/boolector/issues/
Remote-Id	https://github.com/Boolector/boolector

Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions. It supports the SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector provides a rich C and Python API and supports incremental solving, both with the SMT-LIB commands push and pop, and as solving under assumptions.

Local Use Flags

• cryptominisat
• minisat
• picosat

Global Use Flags

• examples
• gmp
• python
• test

python_single_target (Use Expand)

• python3_10
• python3_11

MIT

Gentoo Mathematics Project