nixsearch
nixsearch / pkg / z3-tptp / 4.8.17

z3-tptp 4.8.17

TPTP wrapper for Z3 prover
Linux and macOS last changed

Pin this version

$ devbox add z3-tptp@4.8.17
systemsaarch64-darwin, x86_64-darwin commit566e53c2ad750c84f6d31f9ccb9d00f823165550 
$ nix shell github:NixOS/nixpkgs/566e53c2ad750c84f6d31f9ccb9d00f823165550#z3-tptp
systemsaarch64-linux, x86_64-linux commitde1864217bfa9b5845f465e771e0ecb48b30e02d 
$ nix shell github:NixOS/nixpkgs/de1864217bfa9b5845f465e771e0ecb48b30e02d#z3-tptp

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 z3-tptp 566e53c2ad75
out
/nix/store/3y2dvf20hhqgd1gfg2bkj60xhjbrl6y4-z3-tptp-4.8.17
aarch64-linux
Linux · arm64		 z3-tptp de1864217bfa
out
/nix/store/4lmslip60kxjvsfwa22rli1dr4jq7lvy-z3-tptp-4.8.17
x86_64-darwin
macOS · x86-64		 z3-tptp 566e53c2ad75
out
/nix/store/5n2ygkfn9bqd5ysgzrba5f5k4cd9srz0-z3-tptp-4.8.17
x86_64-linux
Linux · x86-64		 z3-tptp de1864217bfa
out
/nix/store/sak4lm4rd3gkkrylxv4wbyky33ndsszb-z3-tptp-4.8.17
← newer: 4.13.4 all 19 releases older: 4.8.15 →

JSON: /v2/pkg?name=z3-tptp · /v2/resolve?name=z3-tptp&version=4.8.17