BSD Portsmath/bitwuzla 0.7.0 DragonFly
SMT solver for the theories of fixed-size bit-vectors
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- math
- Package size
- 921.4 KiB, 3710.3 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 |
|---|---|---|
| DragonFly | math/bitwuzla | 0.7.0 |
| FreeBSD | math/bitwuzla | 0.9.1 |
Install
Binary package:
pkg install bitwuzlaFrom DPorts:
cd /usr/dports/math/bitwuzla && make install cleanDependencies
Run dependencies 2
No port depends on this one.