bitwuzla 0.8.1
A SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions
Linux and macOS
last changed
Pin this version
$ devbox add bitwuzla@0.8.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit648f70160c03151bc2121d179291337ad6bc564b
$ nix shell github:NixOS/nixpkgs/648f70160c03151bc2121d179291337ad6bc564b#bitwuzla
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
bitwuzla |
648f70160c03 | out/nix/store/h21klijszppmpviwbz62yfb43j7v12av-bitwuzla-0.8.1 |
||
aarch64-linuxLinux · arm64 |
bitwuzla |
648f70160c03 | out/nix/store/pr5ycprab38cgzbipzi7p4zax3dlqi15-bitwuzla-0.8.1 |
||
x86_64-darwinmacOS · x86-64 |
bitwuzla |
648f70160c03 | out/nix/store/n747my12x6mmwssrjxr2l836n9ih956r-bitwuzla-0.8.1 |
||
x86_64-linuxLinux · x86-64 |
bitwuzla |
648f70160c03 | out/nix/store/77gp2qgmb47ljj7k29y79hnf4miwz8v9-bitwuzla-0.8.1 |
JSON: /v2/pkg?name=bitwuzla · /v2/resolve?name=bitwuzla&version=0.8.1