nixsearch
nixsearch / pkg / yices / 2.6.5

yices 2.6.5

High-performance theorem prover and SMT solver
Linux and macOS last changed

Pin this version

$ devbox add yices@2.6.5
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit648f70160c03151bc2121d179291337ad6bc564b 
$ nix shell github:NixOS/nixpkgs/648f70160c03151bc2121d179291337ad6bc564b#yices

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 yices 648f70160c03
out
/nix/store/bqw100xnmd85p363b8jd0r2s4ij5qmcc-yices-2.6.5
aarch64-linux
Linux · arm64		 yices 648f70160c03
out
/nix/store/qc9vzai4ljx1w31b9zakimi8z3gzd4s3-yices-2.6.5
x86_64-darwin
macOS · x86-64		 yices 648f70160c03
out
/nix/store/fac3jm39367gb9cr3s363diwaxw168c2-yices-2.6.5
x86_64-linux
Linux · x86-64		 yices 648f70160c03
out
/nix/store/1y81nc2gj4f5w8ccrxismckpwlfrw83z-yices-2.6.5
← newer: 2.7.0 all 5 releases older: 2.6.4 →

JSON: /v2/pkg?name=yices · /v2/resolve?name=yices&version=2.6.5