bitwuzla 0.9.0
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.9.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf44f7788c891fbe5542177df78374f8cdab10e8f
$ nix shell github:NixOS/nixpkgs/f44f7788c891fbe5542177df78374f8cdab10e8f#bitwuzla
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
bitwuzla |
f44f7788c891 | out/nix/store/22gfimhz05m364nb82bjm9idz07yqll8-bitwuzla-0.9.0 |
||
aarch64-linuxLinux · arm64 |
bitwuzla |
f44f7788c891 | out/nix/store/xk39yfr9qw7sf1cdzy5ic43dckv3bh63-bitwuzla-0.9.0 |
||
x86_64-darwinmacOS · x86-64 |
bitwuzla |
f44f7788c891 | out/nix/store/zl1d4vkpbdl637w4a2zh6rcg035ww6aw-bitwuzla-0.9.0 |
||
x86_64-linuxLinux · x86-64 |
bitwuzla |
f44f7788c891 | out/nix/store/jjnqf4a2k9cgkp1161bs67qggdlkqiki-bitwuzla-0.9.0 |
JSON: /v2/pkg?name=bitwuzla · /v2/resolve?name=bitwuzla&version=0.9.0