cadical 1.8.0

Simplified Satisfiability Solver

Linux and macOS last changed 2023-11-20 outputs: out, dev, lib

Pin this version

$ devbox add cadical@1.8.0

systemsaarch64-darwin commita71323f68d4377d12c04a5410e214495ec598d4c

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

systemsaarch64-linux, x86_64-linux commitf1f62c94f61343b1dc8e9b91e52975890884f39f

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

systemsx86_64-darwin commit605b6f5e24ea3cbcec3be57853d27b721a6f3ec1

$ nix shell github:NixOS/nixpkgs/605b6f5e24ea3cbcec3be57853d27b721a6f3ec1#cadical

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	a71323f68d43	2023-11-17	`out` /nix/store/h4rb4sqm6dra4ki38bxcnhdhxmlcx5xj-cadical-1.8.0 `dev` (not default) /nix/store/gvkmna626k5i651ic3mwm9bknlhl9sl4-cadical-1.8.0-dev `lib` (not default) /nix/store/04bilsjhmphcyfr288001f79a41cnilv-cadical-1.8.0-lib
`aarch64-linux` Linux · arm64	`cadical`	f1f62c94f613	2023-11-20	`out` /nix/store/al7scgclqy49m1iqryx55sl3nkgbakmh-cadical-1.8.0 `dev` (not default) /nix/store/fdrfq0w66c6qi06w2chnxz0jcasy8aq9-cadical-1.8.0-dev `lib` (not default) /nix/store/5d3sx9sbxl87di9x9gnmxf0p98wqfh1l-cadical-1.8.0-lib
`x86_64-darwin` macOS · x86-64	`cadical`	605b6f5e24ea	2023-11-17	`out` /nix/store/z5drzxqm4s76fa7lq84iqpsq743475hq-cadical-1.8.0 `dev` (not default) /nix/store/xrpbzmjvn76sqi6mx6008y57j5rp2b0d-cadical-1.8.0-dev `lib` (not default) /nix/store/23zvp155w1aqakc6kp636k34c91qyyya-cadical-1.8.0-lib
`x86_64-linux` Linux · x86-64	`cadical`	f1f62c94f613	2023-11-20	`out` /nix/store/nrpm3kqw2wwv6i7hzdn9vp3z0wwx2khz-cadical-1.8.0 `dev` (not default) /nix/store/68rp2qvxqk2rag2b4shqy6sff21hv7vl-cadical-1.8.0-dev `lib` (not default) /nix/store/g3hpvhydhmbs3yvdsjgnpawqy34mg5sr-cadical-1.8.0-lib