cadical 2.2.0

Simplified Satisfiability Solver

Linux and macOS last changed 2026-01-24 outputs: out, dev, lib

Pin this version

$ devbox add cadical@2.2.0

systemsaarch64-darwin, aarch64-linux, x86_64-darwin commita1bab9e494f5f4939442a57a58d0449a109593fe

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

systemsx86_64-linux commit26b0093bc977081dc7653175a3fadab11e07bed7

$ nix shell github:NixOS/nixpkgs/26b0093bc977081dc7653175a3fadab11e07bed7#cadical

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	a1bab9e494f5	2026-01-23	`out` /nix/store/iry7j66c1fl05ina6wzx42mmlafdipvy-cadical-2.2.0 `dev` (not default) /nix/store/lhgjfwnxj6jnkd7f231q3n9h6xag30kc-cadical-2.2.0-dev `lib` (not default) /nix/store/p5b9x3p3kg5zhi8pbapgzgvj1932n25g-cadical-2.2.0-lib
`aarch64-linux` Linux · arm64	`cadical`	a1bab9e494f5	2026-01-23	`out` /nix/store/g2dvssm8c2i6ciywkyivrqqy8h4xgd05-cadical-2.2.0 `dev` (not default) /nix/store/zwl4f7c8p58sjfyaviyc17xvy114vdmc-cadical-2.2.0-dev `lib` (not default) /nix/store/6sic242p3bxg7phx0851bbb9z3rb1n56-cadical-2.2.0-lib
`x86_64-darwin` macOS · x86-64	`cadical`	a1bab9e494f5	2026-01-23	`out` /nix/store/7klpwiaia3sa8b6f1jd9mb1bbq2na68c-cadical-2.2.0 `dev` (not default) /nix/store/ch8gi4p4zj1cidfqs0aj6cn3ccd8m7hz-cadical-2.2.0-dev `lib` (not default) /nix/store/4s02rgrcyvhgpiywd8g0987ana7j8n1m-cadical-2.2.0-lib
`x86_64-linux` Linux · x86-64	`cadical`	26b0093bc977	2026-01-24	`out` /nix/store/pknl3rfafd2zhhq9cbgfb06v3ahqj2q4-cadical-2.2.0 `dev` (not default) /nix/store/mzd1gprh6iisplbzpczz1kkjmaivdnny-cadical-2.2.0-dev `lib` (not default) /nix/store/yim20nr2vd70z6cisv4gam1dcq26gr88-cadical-2.2.0-lib