| Port details |
- bitwuzla SMT solver for the theories of fixed-size bit-vectors
- 0.9.1 math
 =0      0.9.0Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2024-06-06 08:51:13
- Last Update: 2026-05-26 16:30:11
- Commit Hash: 838ae2f
- License: MIT
- WWW:
- 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:
-
- 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
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- 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.11 : lang/python311
- 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: 8
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
0.9.1
26 May 2026 16:30:11
 |
Yuri Victorovich (yuri) |
math/bitwuzla: update 0.9.0 → 0.9.1 |
0.9.0
17 Mar 2026 07:52:51
|
Yuri Victorovich (yuri) |
math/bitwuzla: update 0.8.2 → 0.9.0
Reported by: portscout |
0.8.2
05 Nov 2025 06:57:36
|
Yuri Victorovich (yuri) |
math/bitwuzla: update 0.7.0 → 0.8.2 |
0.7.0_1
05 Nov 2025 06:57:36
|
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
05 Nov 2025 06:57:36
|
Yuri Victorovich (yuri) |
math/bitwuzla: Update WWW; Add comment |
0.7.0_1
19 Jun 2025 15:52:36
|
Yuri Victorovich (yuri) |
math/cadical: update 2.0.0 → 2.1.3 |
0.7.0
13 Dec 2024 11:28:45
|
Yuri Victorovich (yuri) |
math/bitwuzla: update 0.5.0 → 0.7.0
Reported by: portscout |
0.5.0
06 Jun 2024 08:48:58
|
Yuri Victorovich (yuri) |
math/bitwuzla: New port: SMT solver for the theories of fixed-size bit-vectors |
Number of commits found: 8
|
As an Amazon Associate I earn from qualifying purchases.