cadical 2.0.0

Simplified Satisfiability Solver

Linux and macOS last changed 2024-10-17 outputs: out, dev, lib

Pin this version

$ devbox add cadical@2.0.0

systemsaarch64-darwin commitd4f247e89f6e10120f911e2e2d2254a050d0f732

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

systemsaarch64-linux, x86_64-darwin commit1bde3e8e37a72989d4d455adde764d45f45dc11c

$ nix shell github:NixOS/nixpkgs/1bde3e8e37a72989d4d455adde764d45f45dc11c#cadical

systemsx86_64-linux commit7881fbfd2e3ed1dfa315fca889b2cfd94be39337

$ nix shell github:NixOS/nixpkgs/7881fbfd2e3ed1dfa315fca889b2cfd94be39337#cadical

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	d4f247e89f6e	2024-10-13	`out` /nix/store/1am7x0jrl7fm2lwpzc5m84lrb95gaxbd-cadical-2.0.0 `dev` (not default) /nix/store/irx85kvx6miv6nwspgj0yxjb5mywbmv1-cadical-2.0.0-dev `lib` (not default) /nix/store/wiidnv2wyr13qaqyzd5nf47fcmka36r1-cadical-2.0.0-lib
`aarch64-linux` Linux · arm64	`cadical`	1bde3e8e37a7	2024-10-17	`out` /nix/store/vlskxbdixcj09r8lfskk1zq98b2gz7dk-cadical-2.0.0 `dev` (not default) /nix/store/l34zz8sin3sfn931icm01h6mzdf8nzkl-cadical-2.0.0-dev `lib` (not default) /nix/store/d267v68jj287pwp9pnc9nhp80yn2q9yg-cadical-2.0.0-lib
`x86_64-darwin` macOS · x86-64	`cadical`	1bde3e8e37a7	2024-10-17	`out` /nix/store/2lg96pbr5xg01ialvxx3yllrkc3al6vv-cadical-2.0.0 `dev` (not default) /nix/store/cd6iqwmyjr7gg7j2g76nz4kx0i11k7bw-cadical-2.0.0-dev `lib` (not default) /nix/store/vbwy7y9z46njcycii645dykd1zzyggn9-cadical-2.0.0-lib
`x86_64-linux` Linux · x86-64	`cadical`	7881fbfd2e3e	2024-10-15	`out` /nix/store/vbjplba7vbzbmjjj20cq79mpvxb0y8yk-cadical-2.0.0 `dev` (not default) /nix/store/lb5lqv2bd553gg48lc375j5r6csr1ral-cadical-2.0.0-dev `lib` (not default) /nix/store/dj9d95y5dli53k85hjlwim9d530qqcr9-cadical-2.0.0-lib