cadical 1.4.1

Simplified Satisfiability Solver

Linux and macOS last changed 2022-09-02 outputs: out, dev, lib

Pin this version

$ devbox add cadical@1.4.1

systemsaarch64-darwin commited0fab06cc1ca9799e6dda30529c963b95c4dc2a

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

systemsaarch64-linux commit21de2b973f9fee595a7a1ac4693efff791245c34

$ nix shell github:NixOS/nixpkgs/21de2b973f9fee595a7a1ac4693efff791245c34#cadical

systemsx86_64-darwin commitadf66cc31390f920854340679d7505ac577a5a8b

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

systemsx86_64-linux commitc3e4dc4f6d23c7e41dda5ce98956c75c7779e2fa

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	ed0fab06cc1c	2022-08-27	`out` /nix/store/m8i64gl620jjsshr4lr85lzial6w7pnc-cadical-1.4.1 `dev` (not default) /nix/store/6q8kgg9ldv5s9vsgxnb2snmm0k224f49-cadical-1.4.1-dev `lib` (not default) /nix/store/iy9ibp7nigp1ghk2c0y0kli2zi3zp7kn-cadical-1.4.1-lib
`aarch64-linux` Linux · arm64	`cadical`	21de2b973f9f	2022-09-02	`out` /nix/store/q5ry68nhzrwp3855msxabz29x16slh9k-cadical-1.4.1 `lib` (not default) /nix/store/d3hs2336ml6sa4gig8fx7j2lhdnf6qyp-cadical-1.4.1-lib `dev` (not default) /nix/store/84f8lvihxb6yajq42fbw0wxn9zya9jb2-cadical-1.4.1-dev
`x86_64-darwin` macOS · x86-64	`cadical`	adf66cc31390	2022-08-28	`out` /nix/store/xwc7qlsxs1bwqcnjf8b34hghsc66s7z9-cadical-1.4.1 `dev` (not default) /nix/store/8dmmyqr5a2i0srphrm16f5m4m2598n7n-cadical-1.4.1-dev `lib` (not default) /nix/store/xsa343lqrb024yrnfmr5qgla1388wksa-cadical-1.4.1-lib
`x86_64-linux` Linux · x86-64	`cadical`	c3e4dc4f6d23	2022-08-29	`out` /nix/store/cn2z3fhlsp365smxdrcnm979hsffryw6-cadical-1.4.1 `lib` (not default) /nix/store/64mgazjll2hpn5ipky4ycqm0gmh4kdjl-cadical-1.4.1-lib `dev` (not default) /nix/store/43b1glrawdfcxycm86rp7fpyi8f0malb-cadical-1.4.1-dev