cadical 2.1.3

Simplified Satisfiability Solver

Linux and macOS last changed 2025-11-22 outputs: out, dev, lib

Pin this version

$ devbox add cadical@2.1.3

systemsaarch64-darwin commit878e468e02bfabeda08c79250f7ad583037f2227

$ nix shell github:NixOS/nixpkgs/878e468e02bfabeda08c79250f7ad583037f2227#cadical

systemsaarch64-linux commita8d610af3f1a5fb71e23e08434d8d61a466fc942

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

systemsx86_64-darwin commit1d4c88323ac36805d09657d13a5273aea1b34f0c

$ nix shell github:NixOS/nixpkgs/1d4c88323ac36805d09657d13a5273aea1b34f0c#cadical

systemsx86_64-linux commit6f374686605df381de8541c072038472a5ea2e2d

$ nix shell github:NixOS/nixpkgs/6f374686605df381de8541c072038472a5ea2e2d#cadical

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	878e468e02bf	2025-11-22	`out` /nix/store/zvll91i9cmrnq453c48jn6z3yyz27al6-cadical-2.1.3 `lib` (not default) /nix/store/5w4iwniqvgc5n4rj2zdwmfvy0hwrk5zh-cadical-2.1.3-lib `dev` (not default) /nix/store/jl5llfjc397aqpllbwwpxqiajyqndid6-cadical-2.1.3-dev
`aarch64-linux` Linux · arm64	`cadical`	a8d610af3f1a	2025-11-20	`out` /nix/store/0wfic1739mfdmxzdb1d634rmwy8hpy7c-cadical-2.1.3 `lib` (not default) /nix/store/r09zgs8w03w4808808psml93zah3iwkk-cadical-2.1.3-lib `dev` (not default) /nix/store/fkgpnc5gcpfmq7czizkswbs2p7l7a1cw-cadical-2.1.3-dev
`x86_64-darwin` macOS · x86-64	`cadical`	1d4c88323ac3	2025-11-15	`out` /nix/store/ncwgld6081hmqfim13d8kqcx9g4m8kd2-cadical-2.1.3 `dev` (not default) /nix/store/81njkc0h9lpc5w9d2g74wsdy9528cgx3-cadical-2.1.3-dev `lib` (not default) /nix/store/shsc5s4yzzzhc009mhh0ghk1zq9qls38-cadical-2.1.3-lib
`x86_64-linux` Linux · x86-64	`cadical`	6f374686605d	2025-11-18	`out` /nix/store/qp2a7c5vlcv57d99y0y890zbsmxxs4xz-cadical-2.1.3 `dev` (not default) /nix/store/hz4vdr5qcb4ayaj17bwz7nv7jg9d5cg3-cadical-2.1.3-dev `lib` (not default) /nix/store/v5d9qk98i40h2p2kfv2bbmp5qgrx3wxs-cadical-2.1.3-lib