nixsearch
nixsearch / pkg / yices / 2.6.2

yices 2.6.2

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

Pin this version

$ devbox add yices@2.6.2
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commit6f05cfdb1e78d36c0337516df674560e4b51c79b 
$ nix shell github:NixOS/nixpkgs/6f05cfdb1e78d36c0337516df674560e4b51c79b#yices

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 yices 6f05cfdb1e78
x86_64-darwin
macOS · x86-64		 yices 6f05cfdb1e78
x86_64-linux
Linux · x86-64		 yices 6f05cfdb1e78
← newer: 2.6.4 all 5 releases older: 2.6.1 →

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