bitwuzla 0.5.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.5.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitc858402c2a629211153137fb8d39be9fde4694ff
$ nix shell github:NixOS/nixpkgs/c858402c2a629211153137fb8d39be9fde4694ff#bitwuzla
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
bitwuzla |
c858402c2a62 | out/nix/store/6gc3ng3j5g66254n4axcdfn39y2jdr44-bitwuzla-0.5.0 |
||
aarch64-linuxLinux · arm64 |
bitwuzla |
c858402c2a62 | out/nix/store/yb0y24pdqra6v885cqnk3dpmnmjpi3i3-bitwuzla-0.5.0 |
||
x86_64-darwinmacOS · x86-64 |
bitwuzla |
c858402c2a62 | out/nix/store/jh132fkg46ylzhbdw2zmacrhx2ks3949-bitwuzla-0.5.0 |
||
x86_64-linuxLinux · x86-64 |
bitwuzla |
c858402c2a62 | out/nix/store/949bv6d51p2c9l5zwwa9dzyjw6ha90gy-bitwuzla-0.5.0 |
JSON: /v2/pkg?name=bitwuzla · /v2/resolve?name=bitwuzla&version=0.5.0