Port details
bitwuzla SMT solver for the theories of fixed-size bit-vectors
0.9.1 math Σ 0.9.1Version of this port present on the latest quarterly branch. Maintainer: yuri@FreeBSD.org Port Added: 2024-06-06 08:51:13Last Update: 2026-10-22 07:52:13Commit Hash: b274661 License: MITWWW: https://bitwuzla.github.io/ https://github.com/bitwuzla/bitwuzla 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". Manual pages: # FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist # USE_RC_SUBR (Service Scripts)
no SUBR information found for this port
Dependency lines :
For LIB depends:libbitwuzla.so:math/bitwuzla libbitwuzlabb.so:math/bitwuzla libbitwuzlabv.so:math/bitwuzla libbitwuzlals.so:math/bitwuzla To install the port : # cd /usr/ports/math/bitwuzla/ && make install clean To add the package , run one of these commands: pkg install math/bitwuzla pkg install bitwuzla PKGNAME: bitwuzla Flavors: there is no flavor information for this port. # distinfo: # TIMESTAMP = 1779806763
SHA256 (bitwuzla-bitwuzla-0.9.1_GH0.tar.gz) = 42707f38900a20bb18108e426ba667560d1fd2ccce0d4f75aa60439b546488b4
SIZE (bitwuzla-bitwuzla-0.9.1_GH0.tar.gz) = 2507441
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: #
gmp>0 : math/gmp symfpu.a : math/symfpu meson : devel/meson ninja : devel/ninja pkgconf>=1.3.0_1 : devel/pkgconf python3.12 : lang/python312
Test dependencies: #
googletest>0 : devel/googletest
Library dependencies: #
libcadical.so : math/cadical libcryptominisat5.so : math/cryptominisat libgmp.so : math/gmp libmpfr.so : math/mpfr
There are no ports dependent upon this port # Configuration Options : # No options to configure Options name : # math_bitwuzla USES: # compiler:c++17-lang localbase:ldflags meson pkgconfig python:build
FreshPorts was unable to extract/find any pkg message # Master Sites: #
Number of commits found: 9 #
Commit History - (may be incomplete: for full details, see links to repositories near top of page) Commit Credits Log message 0.9.1 Yuri Victorovich (yuri) math/bitwuzla: update test results: no test failures 0.9.1 Yuri Victorovich (yuri) math/bitwuzla: update 0.9.0 → 0.9.1 0.9.0 Yuri Victorovich (yuri) math/bitwuzla: update 0.8.2 → 0.9.0
Reported by: portscout 0.8.2 Yuri Victorovich (yuri) math/bitwuzla: update 0.7.0 → 0.8.2 0.7.0_1 Yuri Victorovich (yuri) math/cadical: Add one more header and move headers into the include/cadical
folder
because the cvc5 dependency expects them there. 0.7.0_1 Yuri Victorovich (yuri) math/bitwuzla: Update WWW; Add comment 0.7.0_1 Yuri Victorovich (yuri) math/cadical: update 2.0.0 → 2.1.3 0.7.0 Yuri Victorovich (yuri) math/bitwuzla: update 0.5.0 → 0.7.0
Reported by: portscout 0.5.0 Yuri Victorovich (yuri) math/bitwuzla: New port: SMT solver for the theories of fixed-size bit-vectors
Number of commits found: 9
