nixsearch
nixsearch / pkg / cadical / 1.9.3

cadical 1.9.3

Simplified Satisfiability Solver
Linux and macOS last changed outputs: out, dev, lib

Pin this version

$ devbox add cadical@1.9.3
systemsaarch64-darwin commit4b0751bbc680ed971f80be370a2874a72f3d42fc 
$ nix shell github:NixOS/nixpkgs/4b0751bbc680ed971f80be370a2874a72f3d42fc#cadical
systemsaarch64-linux commit24fe8bb4f552ad3926274d29e083b79d84707da6 
$ nix shell github:NixOS/nixpkgs/24fe8bb4f552ad3926274d29e083b79d84707da6#cadical
systemsx86_64-darwin, x86_64-linux commitd44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7 
$ nix shell github:NixOS/nixpkgs/d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7#cadical

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 cadical 4b0751bbc680
out
/nix/store/wqsrsqzqbqny876pa13p7bk0rq6j23by-cadical-1.9.3
lib (not default)
/nix/store/khiyqqg8jpgdhkyabpl092l1kzxyix2q-cadical-1.9.3-lib
dev (not default)
/nix/store/7ig4aj5yi07lj9b06pd337xwqj0angav-cadical-1.9.3-dev
aarch64-linux
Linux · arm64		 cadical 24fe8bb4f552
out
/nix/store/yrwcmg7dz73rs6yhhqg88qi29h5g4jga-cadical-1.9.3
dev (not default)
/nix/store/a6cbdsj67zk0vf99mm6m775h4g97kxnh-cadical-1.9.3-dev
lib (not default)
/nix/store/z4njsnh7pcvj9jfvqkr95fi2px77kn91-cadical-1.9.3-lib
x86_64-darwin
macOS · x86-64		 cadical d44d59d2b5bd
out
/nix/store/apl8n0cwnkzmdmf9awgxi3za4qmbx692-cadical-1.9.3
dev (not default)
/nix/store/2pmfp90fwdwx0hchr1grp12sk8c2073l-cadical-1.9.3-dev
lib (not default)
/nix/store/p3w38aiik39srm3w414aryz8s11z8r8p-cadical-1.9.3-lib
x86_64-linux
Linux · x86-64		 cadical d44d59d2b5bd
out
/nix/store/k9dlnk2457yg0m5702cwapfzn57xml57-cadical-1.9.3
dev (not default)
/nix/store/lg2wwh28ps64c89185a1d0kdl30m7mmj-cadical-1.9.3-dev
lib (not default)
/nix/store/mybl129djf2zycfxk46zkpk6kp6lprl0-cadical-1.9.3-lib
← newer: 1.9.4 all 19 releases older: 1.9.1 →

JSON: /v2/pkg?name=cadical · /v2/resolve?name=cadical&version=1.9.3