cadical 1.9.4

Simplified Satisfiability Solver

Linux and macOS last changed 2024-03-06 outputs: out, dev, lib

Pin this version

$ devbox add cadical@1.9.4

systemsaarch64-darwin commit58ae79ea707579c40102ddf62d84b902a987c58b

$ nix shell github:NixOS/nixpkgs/58ae79ea707579c40102ddf62d84b902a987c58b#cadical

systemsaarch64-linux commitec869190b56a1b4677d24a8bdbcfe80ccea2ece6

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

systemsx86_64-darwin commit458b097d81f90275b3fdf03796f0563844926708

$ nix shell github:NixOS/nixpkgs/458b097d81f90275b3fdf03796f0563844926708#cadical

systemsx86_64-linux commitfa9a51752f1b5de583ad5213eb621be071806663

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	58ae79ea7075	2024-03-06	`out` /nix/store/5wp2wikc837z8rb71kzqpbndh9wm2dd5-cadical-1.9.4 `dev` (not default) /nix/store/43lkxh5c36s7wbr0v9rkk2zp0nidd5fa-cadical-1.9.4-dev `lib` (not default) /nix/store/7720x2w7sqvbblpkgj4rkivphavngxx5-cadical-1.9.4-lib
`aarch64-linux` Linux · arm64	`cadical`	ec869190b56a	2024-03-01	`out` /nix/store/hb471k7gd00f4kkjdqf147k5pxrxqj94-cadical-1.9.4 `dev` (not default) /nix/store/9p3phl92jam7rwlnd00hfr3m2qs4z7iy-cadical-1.9.4-dev `lib` (not default) /nix/store/m2hllf593ihacfz9a3d46il0alzngs4n-cadical-1.9.4-lib
`x86_64-darwin` macOS · x86-64	`cadical`	458b097d81f9	2024-03-02	`out` /nix/store/4gr6mx3wb8mhmgagfdrbmiqmddrzgxgp-cadical-1.9.4 `dev` (not default) /nix/store/rsinig4263k93y1wcpag0sj1jsrnbl22-cadical-1.9.4-dev `lib` (not default) /nix/store/75rcshk8a15f6whzxjj7wcanal1rc4wy-cadical-1.9.4-lib
`x86_64-linux` Linux · x86-64	`cadical`	fa9a51752f1b	2024-03-02	`out` /nix/store/y8y7l1aa3qaj4vqkr9paciz2sm5yjvj9-cadical-1.9.4 `dev` (not default) /nix/store/9k6s4hf8ck6m00g4aqhc6j9vmh9505j4-cadical-1.9.4-dev `lib` (not default) /nix/store/0x3c5b4jrj8q5gxf6h1c9fjbbzbzx1c5-cadical-1.9.4-lib