cadical 1.5.3

Simplified Satisfiability Solver

Linux and macOS last changed 2023-10-08 outputs: out, dev, lib

Pin this version

$ devbox add cadical@1.5.3

systemsaarch64-darwin commit945559664c1dc5836173ee12896ba421d9b37181

$ nix shell github:NixOS/nixpkgs/945559664c1dc5836173ee12896ba421d9b37181#cadical

systemsaarch64-linux commit2de1be5b51c3d6fa833f1c1f222dc867dd054b31

$ nix shell github:NixOS/nixpkgs/2de1be5b51c3d6fa833f1c1f222dc867dd054b31#cadical

systemsx86_64-darwin commit2646b294a146df2781b1ca49092450e8a32814e1

$ nix shell github:NixOS/nixpkgs/2646b294a146df2781b1ca49092450e8a32814e1#cadical

systemsx86_64-linux commit5aabb5780a11c500981993d49ee93cfa6df9307b

$ nix shell github:NixOS/nixpkgs/5aabb5780a11c500981993d49ee93cfa6df9307b#cadical

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	945559664c1d	2023-10-07	`out` /nix/store/qq115nzpva7w6gg5r6l13z727qzq1407-cadical-1.5.3 `dev` (not default) /nix/store/js1pjbkjzr6rigdzhx7d5ds570yf0nbs-cadical-1.5.3-dev `lib` (not default) /nix/store/8inwlh0x0nxsa1yc431fv58k0c31d7pc-cadical-1.5.3-lib
`aarch64-linux` Linux · arm64	`cadical`	2de1be5b51c3	2023-10-07	`out` /nix/store/lyd6bhjlwc0b9a68svq1aigw7k0qryyh-cadical-1.5.3 `dev` (not default) /nix/store/ans8yqxj72xa5w5nz895sdp31jsq8x4i-cadical-1.5.3-dev `lib` (not default) /nix/store/5qirz6lmmlv4w9p7a5g9mf7vqv6ld1yi-cadical-1.5.3-lib
`x86_64-darwin` macOS · x86-64	`cadical`	2646b294a146	2023-10-08	`out` /nix/store/cnhv92nbxpb3n8lg44q0a2sb4m60jc0k-cadical-1.5.3 `lib` (not default) /nix/store/s952nsgxw5rk86wd6ax56bqq79y5nfrd-cadical-1.5.3-lib `dev` (not default) /nix/store/brqmkcbjg9pk9vpf15yhzi2jjfq9bz2p-cadical-1.5.3-dev
`x86_64-linux` Linux · x86-64	`cadical`	5aabb5780a11	2023-10-08	`out` /nix/store/gjzpll69xgdvmlm4cdpbh946hwjypcf4-cadical-1.5.3 `dev` (not default) /nix/store/5r7f2sqn9w4r1g4kpq010fqy4b8614xp-cadical-1.5.3-dev `lib` (not default) /nix/store/njpnkn9r52xylgc9zdyccrz8hykyamc9-cadical-1.5.3-lib