z3-tptp 4.8.14
TPTP wrapper for Z3 prover
Linux and macOS
last changed
Pin this version
$ devbox add z3-tptp@4.8.14
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit4c3c80df545ec5cb26b5480979c3e3f93518cbe5
$ nix shell github:NixOS/nixpkgs/4c3c80df545ec5cb26b5480979c3e3f93518cbe5#z3-tptp
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
z3-tptp |
4c3c80df545e | out/nix/store/my2lvnb57jpiq2v6q0akpayvxxyzi43a-z3-tptp-4.8.14 |
||
aarch64-linuxLinux · arm64 |
z3-tptp |
4c3c80df545e | out/nix/store/qyr1549zpi3fl8miv6fnb42ipjm1xsaw-z3-tptp-4.8.14 |
||
x86_64-darwinmacOS · x86-64 |
z3-tptp |
4c3c80df545e | out/nix/store/30rf1xw5c5y2hzafpsbki667a4cdk5fy-z3-tptp-4.8.14 |
||
x86_64-linuxLinux · x86-64 |
z3-tptp |
4c3c80df545e |
JSON: /v2/pkg?name=z3-tptp · /v2/resolve?name=z3-tptp&version=4.8.14