nixsearch
nixsearch / pkg / z3-tptp / 5.1.0

z3-tptp 5.1.0

TPTP wrapper for Z3 prover
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add z3-tptp@5.1.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit55ba7f49ef2962b42cbd126522b7df5f95037679 
$ nix shell github:NixOS/nixpkgs/55ba7f49ef2962b42cbd126522b7df5f95037679#z3-tptp

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 z3-tptp 55ba7f49ef29
out
/nix/store/795z4l4mqwd3a0x1z1r1nvj1allmv032-z3-tptp-5.1.0
aarch64-linux
Linux · arm64		 z3-tptp 55ba7f49ef29
out
/nix/store/4clidsjlji71gqqha9asmd01hzyzn8s5-z3-tptp-5.1.0
x86_64-linux
Linux · x86-64		 z3-tptp 55ba7f49ef29
out
/nix/store/p28sb613qr1zxgcvharznzj2pfi6zhj0-z3-tptp-5.1.0
all 19 releases older: 4.16.0 →

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