boolector
|
Легенда:
|
| alpha | amd64 | arm | hppa | ia64 | m68k | mips | ppc | ppc64 | s390 | sh | sparc | x86 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 3.2.2_p20220110 | - | ~ | - | - | - | - | - | - | - | - | - | - | ~ |
USE флаги
- cryptominisat - Enable support for sci-mathematics/cryptominisat
- examples - Install examples, usually source code
- gmp - Add support for dev-libs/gmp (GNU MP library)
- minisat - Enable support for sci-mathematics/minisat
- picosat - Enable support for sci-mathematics/picosat
- python - Add optional support/bindings for the Python language
- python_single_target_python3_10 - Build for Python 3.10 only
- python_single_target_python3_11 - Build for Python 3.11 only
- python_single_target_python3_9 - Build for Python 3.9 only
- test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
Экспортировать в Atom