Port details on branch 2022Q2 |
- boolector Satisfiability Modulo Theories (SMT) solver
- 3.2.3 math =0 3.2.3Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2019-06-14 07:37:12
- Last Update: 2023-11-05 17:51:50
- Commit Hash: 2d361fb
- License: MIT
- WWW:
- https://boolector.github.io/
- Description:
- 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 solving under assumptions.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- boolector>0:math/boolector
- To install the port:
- cd /usr/ports/math/boolector/ && make install clean
- To add the package, run one of these commands:
- pkg install math/boolector
- pkg install boolector
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: boolector
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1699204051
SHA256 (Boolector-boolector-3.2.3_GH0.tar.gz) = 9862134d33cb3ed0aeb6be3c9b154a4d0a90fd076f46ef97cf872813109cc5d9
SIZE (Boolector-boolector-3.2.3_GH0.tar.gz) = 1566566
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- libcadical.a : math/cadical
- liblgl.a : math/lingeling
- cmake : devel/cmake-core
- Test dependencies:
-
- bash : shells/bash
- python3.9 : lang/python39
- Library dependencies:
-
- libbtor2parser.so : math/btor2tools
- libcryptominisat5.so : math/cryptominisat
- libminisat.so : math/minisat
- libpicosat.so : math/picosat
- libgmp.so : math/gmp
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_boolector
- USES:
- cmake:noninja,testing compiler:c++11-lang cpe python:test
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|