cadical 2.1.2

Simplified Satisfiability Solver

Linux and macOS last changed 2025-02-14 outputs: out, dev, lib

Pin this version

$ devbox add cadical@2.1.2

systemsaarch64-darwin commitba0939c506a03c60a765cd7f7c43794816540eec

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

systemsaarch64-linux commit1128e89fd5e11bb25aedbfc287733c6502202ea9

$ nix shell github:NixOS/nixpkgs/1128e89fd5e11bb25aedbfc287733c6502202ea9#cadical

systemsx86_64-darwin commite8d0b02af0958823c955aaab3c82b03f54411d91

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

systemsx86_64-linux commitfada727ee7c0bd487e311dede0a2b0725a0f7765

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	ba0939c506a0	2025-02-13	`out` /nix/store/pswwrg02c5zs3yi34m6a7g3w0hwb6m70-cadical-2.1.2 `dev` (not default) /nix/store/a9xgjzv2adn911m4jqf0zhjp3yk3caxy-cadical-2.1.2-dev `lib` (not default) /nix/store/0gls03m329952jlrzrkgjq860xwd5fji-cadical-2.1.2-lib
`aarch64-linux` Linux · arm64	`cadical`	1128e89fd5e1	2025-02-13	`out` /nix/store/7fraj0vw9dfj0s0dcc4hy2glw8k8q2bi-cadical-2.1.2 `dev` (not default) /nix/store/1g3sqqlg419ql1fgdzzgapz2px9j6fja-cadical-2.1.2-dev `lib` (not default) /nix/store/pysini4ccircfsw72nkqcv6any93s4zg-cadical-2.1.2-lib
`x86_64-darwin` macOS · x86-64	`cadical`	e8d0b02af095	2025-02-07	`out` /nix/store/n3h2c2qigwhpr8bq00b92b7bl1maffm2-cadical-2.1.2 `dev` (not default) /nix/store/w9hnlg8psadklyjkfq64yl8m9adij4bz-cadical-2.1.2-dev `lib` (not default) /nix/store/v15322hbg03d21m6xky2abf416qjs69r-cadical-2.1.2-lib
`x86_64-linux` Linux · x86-64	`cadical`	fada727ee7c0	2025-02-14	`out` /nix/store/82dxyfj3csg4svc9ab6rmwishmlpzng2-cadical-2.1.2 `dev` (not default) /nix/store/l8bjgr3rgzwf9hs41zvgj0hrbvryc927-cadical-2.1.2-dev `lib` (not default) /nix/store/pmcb5z7kkajmmki6ggq2aa0a60kmcsr7-cadical-2.1.2-lib