math/bitwuzla 0.9.1 FreeBSD
SMT solver for the theories of fixed-size bit-vectors
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- MIT
- Categories
- math
- Package size
- 980.2 KiB, 3849.1 KiB installed
Description
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as "someone who tinkers with bits".
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/bitwuzla | 0.9.1 |
| DragonFly | math/bitwuzla | 0.7.0 |
Install
Binary package:
pkg install bitwuzlaFrom the ports tree:
cd /usr/ports/math/bitwuzla/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= bitwuzla>0:math/bitwuzla
LIB_DEPENDS= libbitwuzla.so:math/bitwuzlaPackages
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 | 0.9.1 | 0.9.1 | - | 0.7.0_1 | 0.9.1 |
| FreeBSD:14:quarterly | 0.9.1 | 0.9.1 | n/a | 0.7.0_1 | 0.9.1 |
| FreeBSD:15:latest | 0.9.1 | 0.9.1 | n/a | 0.7.0_1 | 0.7.0_1 |
| FreeBSD:15:quarterly | 0.9.1 | 0.9.1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 0.9.1 | 0.9.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 2
gmp>0: math/gmp${LOCALBASE}/lib/symfpu.a: math/symfpu
Library 4
libcadical.so: math/cadicallibcryptominisat5.so: math/cryptominisatlibgmp.so: math/gmplibmpfr.so: math/mpfr
Test 1
googletest>0: devel/googletest
The full lists below include those, and their dependencies in turn.
Build dependencies 21
Run dependencies 11
No port depends on this one.
Configuration
No options to configure.
- USES
- compiler:c++17-lang localbase:ldflags meson pkgconfig python:build
- Service scripts
- none
Files
pkg-plist 16
- bin/bitwuzla
- include/bitwuzla/c/bitwuzla.h
- include/bitwuzla/c/parser.h
- include/bitwuzla/cpp/bitwuzla.h
- include/bitwuzla/cpp/parser.h
- include/bitwuzla/cpp/sat_solver.h
- include/bitwuzla/cpp/terminator.h
- include/bitwuzla/enums.h
- include/bitwuzla/option.h
- include/bitwuzla/result.h
- lib/libbitwuzla.so
- lib/libbitwuzla.so.0
- lib/libbitwuzlabb.so
- lib/libbitwuzlabv.so
- lib/libbitwuzlals.so
- libdata/pkgconfig/bitwuzla.pc
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| bitwuzla-bitwuzla-0.9.1_GH0.tar.gz | 2.507441e+06 | 42707f38900a20bb18108e426ba667560d1fd2ccce0d4f75aa60439b546488b4 |
Commit history 0
No commits in the history this site was built from.