cadical 1.9.5

Simplified Satisfiability Solver

Linux and macOS last changed 2024-07-02 outputs: out, dev, lib

Pin this version

$ devbox add cadical@1.9.5

systemsaarch64-darwin commitb9014df496d5b68bf7c0145d0e9b0f529ce4f2a8

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

systemsaarch64-linux commit12a9c0004bc987afb1ff511ebb97b67497a68e22

$ nix shell github:NixOS/nixpkgs/12a9c0004bc987afb1ff511ebb97b67497a68e22#cadical

systemsx86_64-darwin commit0f56e3221392452f2c38e3ddf2eba03abda6bf47

$ nix shell github:NixOS/nixpkgs/0f56e3221392452f2c38e3ddf2eba03abda6bf47#cadical

systemsx86_64-linux commit0aeab749216e4c073cece5d34bc01b79e717c3e0

$ nix shell github:NixOS/nixpkgs/0aeab749216e4c073cece5d34bc01b79e717c3e0#cadical

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	b9014df496d5	2024-07-01	`out` /nix/store/5d3jx73nnazq5ypkl5n2dph9a214y586-cadical-1.9.5 `dev` (not default) /nix/store/0i34hisn8lmfsiacvbrn70y5hs1k609x-cadical-1.9.5-dev `lib` (not default) /nix/store/pg35gzjfh2zw102bn4m5gnb622axhjjs-cadical-1.9.5-lib
`aarch64-linux` Linux · arm64	`cadical`	12a9c0004bc9	2024-06-30	`out` /nix/store/zhvkwigc0h4abwgmknkna93kanp1c9jg-cadical-1.9.5 `dev` (not default) /nix/store/jnz49v7xc5fk9d2h2hmsk2f23cbg56sy-cadical-1.9.5-dev `lib` (not default) /nix/store/m0n66aq12xgrzqdl21hl5219547k97sd-cadical-1.9.5-lib
`x86_64-darwin` macOS · x86-64	`cadical`	0f56e3221392	2024-07-02	`out` /nix/store/by5is5bppcvp11ndyv4aqa52rhrnkjlx-cadical-1.9.5 `dev` (not default) /nix/store/cf2v25nha7x1lphyswsbaq480gddizrf-cadical-1.9.5-dev `lib` (not default) /nix/store/cj1m4a9l2h13kjyjxdrpbx13bczljc1n-cadical-1.9.5-lib
`x86_64-linux` Linux · x86-64	`cadical`	0aeab749216e	2024-07-02	`out` /nix/store/6nraalh51kc9xw9b82qzri7bq2p1g6r0-cadical-1.9.5 `lib` (not default) /nix/store/4pvyavvhvp0bwg3fcw8ps60g5y2axpsd-cadical-1.9.5-lib `dev` (not default) /nix/store/av5a048jgls7nhy6hfbvwykhcs0pmh68-cadical-1.9.5-dev