cadical 2.1.1

Simplified Satisfiability Solver

Linux and macOS last changed 2025-01-08 outputs: out, dev, lib

Pin this version

$ devbox add cadical@2.1.1

systemsaarch64-darwin commit8c9fd3e564728e90829ee7dbac6edc972971cd0f

$ nix shell github:NixOS/nixpkgs/8c9fd3e564728e90829ee7dbac6edc972971cd0f#cadical

systemsaarch64-linux commita27871180d30ebee8aa6b11bf7fef8a52f024733

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

systemsx86_64-darwin, x86_64-linux commit4bc9c909d9ac828a039f288cf872d16d38185db8

$ nix shell github:NixOS/nixpkgs/4bc9c909d9ac828a039f288cf872d16d38185db8#cadical

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	8c9fd3e56472	2025-01-07	`out` /nix/store/8cbkjfwh6g94qhr8ydxfaq00wcypkcp0-cadical-2.1.1 `dev` (not default) /nix/store/3x5k6myl6akvsmsddclkvsnz9h67mf4r-cadical-2.1.1-dev `lib` (not default) /nix/store/7ga2r40dkaryhkf3qrx2kb4mdiadjh59-cadical-2.1.1-lib
`aarch64-linux` Linux · arm64	`cadical`	a27871180d30	2025-01-03	`out` /nix/store/hd3fdwbpml6svn1jaispgn7pid331azc-cadical-2.1.1 `dev` (not default) /nix/store/1kaii4kswj03s4czl9fr3r497sjm17fy-cadical-2.1.1-dev `lib` (not default) /nix/store/zx925ai273bkynxiihxb5hzvdnv07fn3-cadical-2.1.1-lib
`x86_64-darwin` macOS · x86-64	`cadical`	4bc9c909d9ac	2025-01-08	`out` /nix/store/dwi4ayk87d6hwqih93prz8cbsjsiwg2d-cadical-2.1.1 `lib` (not default) /nix/store/ngbvdqqrvdhpz7zi1rknzlm2fn5whyg1-cadical-2.1.1-lib `dev` (not default) /nix/store/xy2kj45lc8sb2q7s7gzz35gczjjs4dn0-cadical-2.1.1-dev
`x86_64-linux` Linux · x86-64	`cadical`	4bc9c909d9ac	2025-01-08	`out` /nix/store/ir64k0yanky3vmbqngrxwyxl90jmg9k8-cadical-2.1.1 `lib` (not default) /nix/store/lzz0p6vzn2ad5sxmd8yv4kh71rf6spwy-cadical-2.1.1-lib `dev` (not default) /nix/store/lrahjb49d50bx9jw4x74h7wpjlcxw117-cadical-2.1.1-dev