boolector 3.2.2
Extremely fast SMT solver for bit-vectors and arrays
Linux and macOS
last changed
Pin this version
$ devbox add boolector@3.2.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit10b813040df67c4039086db0f6eaf65c536886c6
$ nix shell github:NixOS/nixpkgs/10b813040df67c4039086db0f6eaf65c536886c6#boolector
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
boolector |
10b813040df6 | out/nix/store/rs7kzibkm1d6wfavxzg96sc4rpgpqhxa-boolector-3.2.2 |
||
aarch64-linuxLinux · arm64 |
boolector |
10b813040df6 | out/nix/store/h1mca9n8jsnijvlbff34f225ibxz427v-boolector-3.2.2 |
||
x86_64-darwinmacOS · x86-64 |
boolector |
10b813040df6 | out/nix/store/cks79lhrdc0gxaryvhc2ldc292aaw3id-boolector-3.2.2 |
||
x86_64-linuxLinux · x86-64 |
boolector |
10b813040df6 | out/nix/store/i1dgmm7mgpbk07074r3q9g6byzhjvfhq-boolector-3.2.2 |
JSON: /v2/pkg?name=boolector · /v2/resolve?name=boolector&version=3.2.2