cadical 1.9.0

Simplified Satisfiability Solver

Linux and macOS last changed 2023-12-14 outputs: out, dev, lib

Pin this version

$ devbox add cadical@1.9.0

systemsaarch64-darwin, aarch64-linux, x86_64-linux commitfd04bea4cbf76f86f244b9e2549fca066db8ddff

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

systemsx86_64-darwin commitaa9d4729cbc99dabacb50e3994dcefb3ea0f7447

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	fd04bea4cbf7	2023-12-13	`out` /nix/store/j50ys6qg8nmn83821myqb74h0jnfccsb-cadical-1.9.0 `dev` (not default) /nix/store/z3kc7rm99d0zzlb4182v7gjp6ljp96g9-cadical-1.9.0-dev `lib` (not default) /nix/store/s5z5x5a2vfbn60lz730rzps74w35wcb6-cadical-1.9.0-lib
`aarch64-linux` Linux · arm64	`cadical`	fd04bea4cbf7	2023-12-13	`out` /nix/store/sgijc2zyn29v52rg1q1a9s18zxlh9l37-cadical-1.9.0 `dev` (not default) /nix/store/5qq314w0ixl419xcqmhzgqvlfgmf3vxw-cadical-1.9.0-dev `lib` (not default) /nix/store/pyhgxd4c8cjgiqi4lmd3y4f16c8f8qis-cadical-1.9.0-lib
`x86_64-darwin` macOS · x86-64	`cadical`	aa9d4729cbc9	2023-12-14	`out` /nix/store/maj8bgf686xwcbm78hb7ky7y5dlp617r-cadical-1.9.0 `lib` (not default) /nix/store/zrzid9af6gacg2xdyz3j582kcbwdxmsw-cadical-1.9.0-lib `dev` (not default) /nix/store/yyp9a81mcqqh5mqcp7fgc60ffg8pdqv3-cadical-1.9.0-dev
`x86_64-linux` Linux · x86-64	`cadical`	fd04bea4cbf7	2023-12-13	`out` /nix/store/xzi72q5v33hwzrw8p1b3w4ffvcymz6r3-cadical-1.9.0 `lib` (not default) /nix/store/39rr1iqn2ac8jxd81l6v224jjgn6ayn2-cadical-1.9.0-lib `dev` (not default) /nix/store/1289csr8chcpbww2j9szb52wbxzakhvi-cadical-1.9.0-dev