nixsearch
nixsearch / pkg / yices / 2.6.4

yices 2.6.4

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

Pin this version

$ devbox add yices@2.6.4
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita9858885e197f984d92d7fe64e9fff6b2e488d40 
$ nix shell github:NixOS/nixpkgs/a9858885e197f984d92d7fe64e9fff6b2e488d40#yices

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 yices a9858885e197
out
/nix/store/1lmaci9sjqlvjb21zzzmisshbjf98ppm-yices-2.6.4
aarch64-linux
Linux · arm64		 yices a9858885e197
out
/nix/store/32gyq9cnzsfbm6z68llw8xczgpyk750y-yices-2.6.4
x86_64-darwin
macOS · x86-64		 yices a9858885e197
out
/nix/store/9ph0gf8dwqdya92ps1dhkrkxnrmqky95-yices-2.6.4
x86_64-linux
Linux · x86-64		 yices a9858885e197
out
/nix/store/3ggdnp4a0kk8q63vybpz42alp2ixdjd4-yices-2.6.4
← newer: 2.6.5 all 5 releases older: 2.6.2 →

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