BSD Portsmath/boolector 3.2.4_1 FreeBSD
Satisfiability Modulo Theories (SMT) solver
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
46451ea56c- License
- MIT
- Categories
- math
- Package size
- 557.4 KiB, 1582.0 KiB installed
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.
Install
Binary package:
pkg install boolectorFrom the ports tree:
cd /usr/ports/math/boolector/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= boolector>0:math/boolector
LIB_DEPENDS= libboolector.so:math/boolectorPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 3.2.4_1 | 3.2.4_1 | 3.2.2_1 | 3.2.4_1 | 3.2.4_1 |
| FreeBSD:14:quarterly | 3.2.4_1 | 3.2.4_1 | n/a | 3.2.4_1 | 3.2.4_1 |
| FreeBSD:15:latest | 3.2.4_1 | 3.2.4_1 | n/a | 3.2.4_1 | 3.2.4_1 |
| FreeBSD:15:quarterly | 3.2.4_1 | 3.2.4_1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 3.2.4_1 | 3.2.4_1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 1
${LOCALBASE}/lib/liblgl.a: math/lingeling
Library 6
libbtor2parser.so: math/btor2toolslibcadical.so: math/cadicallibcryptominisat5.so: math/cryptominisatlibminisat.so: math/minisatlibpicosat.so: math/picosatlibgmp.so: math/gmp
Test 1
bash: shells/bash
The full lists below include those, and their dependencies in turn.
Build dependencies 27
- archivers/liblz4
- archivers/zstd
- devel/boost-libs
- devel/cmake-core
- devel/gettext-runtime
- devel/icu
- devel/jsoncpp
- devel/libffi
- devel/libunistring
- devel/libuv
- devel/readline
- dns/libidn2
- graphics/png
- lang/python312
- math/btor2tools
- math/cadical
- math/cryptominisat
- math/gmp
- math/lingeling
- math/m4ri
- math/minisat
- math/mpdecimal
- math/picosat
- ports-mgmt/pkg
- print/indexinfo
- security/rhash
- textproc/expat2
Run dependencies 13
No port depends on this one.
Configuration
No options to configure.
- USES
- cmake:noninja,testing compiler:c++11-lang cpe python:build,test shebangfix
- Service scripts
- none
Files
pkg-plist 9
- bin/boolector
- bin/btormc
- include/boolector/boolector.h
- include/boolector/btortypes.h
- lib/cmake/Boolector/BoolectorConfig.cmake
- lib/cmake/Boolector/BoolectorConfigVersion.cmake
- lib/cmake/Boolector/BoolectorTargets-.cmake
- lib/cmake/Boolector/BoolectorTargets.cmake
- lib/libboolector.so
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| Boolector-boolector-3.2.4_GH0.tar.gz | 1.567983e+06 | 249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf |