cadical 2.1.0

Simplified Satisfiability Solver

Linux and macOS last changed 2024-12-17 outputs: out, dev, lib

Pin this version

$ devbox add cadical@2.1.0

systemsaarch64-darwin, aarch64-linux commit4989a246d7a390a859852baddb1013f825435cee

$ nix shell github:NixOS/nixpkgs/4989a246d7a390a859852baddb1013f825435cee#cadical

systemsx86_64-darwin commit93dc9803a1ee435e590b02cde9589038d5cc3a4e

$ nix shell github:NixOS/nixpkgs/93dc9803a1ee435e590b02cde9589038d5cc3a4e#cadical

systemsx86_64-linux commit566e53c2ad750c84f6d31f9ccb9d00f823165550

$ nix shell github:NixOS/nixpkgs/566e53c2ad750c84f6d31f9ccb9d00f823165550#cadical

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	4989a246d7a3	2024-12-17	`out` /nix/store/78w1xm1f18c2lzs2lb3bhy3p3wjhz7jz-cadical-2.1.0 `dev` (not default) /nix/store/ld21fjd1i10xhsl60q10i8z844dfr386-cadical-2.1.0-dev `lib` (not default) /nix/store/kbskscf75w7i3mxll1296sh4zqfwfbym-cadical-2.1.0-lib
`aarch64-linux` Linux · arm64	`cadical`	4989a246d7a3	2024-12-17	`out` /nix/store/p2gjrrsyc21byfvac7vl6hyii0x2pqn1-cadical-2.1.0 `lib` (not default) /nix/store/4jbw4a1hnm2yrvkw901b52pjbkrcfp6r-cadical-2.1.0-lib `dev` (not default) /nix/store/xkihhv614hf43lah4h6gql4l6bbl6jxm-cadical-2.1.0-dev
`x86_64-darwin` macOS · x86-64	`cadical`	93dc9803a1ee	2024-12-08	`out` /nix/store/7yyamn3k4ca0ax8n34v20vria053gw51-cadical-2.1.0 `dev` (not default) /nix/store/y02vc71q3dyh73n44ynhwr2r5gq7dypr-cadical-2.1.0-dev `lib` (not default) /nix/store/76crlnwzfad577nbjngdjzplp08gx2jh-cadical-2.1.0-lib
`x86_64-linux` Linux · x86-64	`cadical`	566e53c2ad75	2024-12-03	`out` /nix/store/gs2gryjfwyrksrpc2cfnxrvi77da4k60-cadical-2.1.0 `dev` (not default) /nix/store/3csv2qxmpxks1b0ab3rs9r8riqykq3hs-cadical-2.1.0-dev `lib` (not default) /nix/store/ryqkcraz27wmdnfl39asl9fjypb9m9z9-cadical-2.1.0-lib