cadical 3.0.0

Simplified Satisfiability Solver

Linux and macOS last changed 2026-08-07 outputs: out, dev, lib

Pin this version

$ devbox add cadical@3.0.0

systemsaarch64-darwin commit243895692ae2a2fbd08a05141462c0cc0d3ca10f

$ nix shell github:NixOS/nixpkgs/243895692ae2a2fbd08a05141462c0cc0d3ca10f#cadical

systemsaarch64-linux commit70ce234312134a463ba7728e94da2486a1d237ac

$ nix shell github:NixOS/nixpkgs/70ce234312134a463ba7728e94da2486a1d237ac#cadical

systemsx86_64-darwin commitf205b5574fd0cb7da5b702a2da51507b7f4fdd1b

$ nix shell github:NixOS/nixpkgs/f205b5574fd0cb7da5b702a2da51507b7f4fdd1b#cadical

systemsx86_64-linux commitafb4584a80bbf779ce0f691509ff902d188c2b3d

$ nix shell github:NixOS/nixpkgs/afb4584a80bbf779ce0f691509ff902d188c2b3d#cadical

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	243895692ae2	2026-08-03	`out` /nix/store/ip4067mk30ikm18s082s0c3rhyyr37gj-cadical-3.0.0 `dev` (not default) /nix/store/p0954pmxhjwz93k180cji8sjazbqjnsp-cadical-3.0.0-dev `lib` (not default) /nix/store/pyggmnckfa3p76zp31dg61dkv3var4kl-cadical-3.0.0-lib
`aarch64-linux` Linux · arm64	`cadical`	70ce23431213	2026-08-06	`out` /nix/store/bmf9dyykqf54nn5wjkm6dk19xdsp0zib-cadical-3.0.0 `dev` (not default) /nix/store/j2n1aishjcsbg4ariv14z64sfchqdkf0-cadical-3.0.0-dev `lib` (not default) /nix/store/gl4qymgcd0swi8anxkm0kh6fn9xyzzyj-cadical-3.0.0-lib
`x86_64-darwin` macOS · x86-64	`cadical`	f205b5574fd0	2026-07-05	`out` /nix/store/4zr9qmd3k3s769xplkynazwd1jxzfgaz-cadical-3.0.0 `dev` (not default) /nix/store/v7njryhwvxp3x4c8xdnhmi4jjxfy86b0-cadical-3.0.0-dev `lib` (not default) /nix/store/b3xz2j4528cfxn3aa5lxc4m5wrcgkxww-cadical-3.0.0-lib
`x86_64-linux` Linux · x86-64	`cadical`	afb4584a80bb	2026-08-07	`out` /nix/store/4diiadpar5b9dr59dlhafbg2d1qbblp0-cadical-3.0.0 `dev` (not default) /nix/store/bm1844m4pwrfb9n1vs8zyixyg1458nah-cadical-3.0.0-dev `lib` (not default) /nix/store/3v8zdi5mdblr58s4zzsjizha69ws07v9-cadical-3.0.0-lib