cadical 1.5.0

Simplified Satisfiability Solver

Linux and macOS last changed 2022-09-25 outputs: out, dev, lib

Pin this version

$ devbox add cadical@1.5.0

systemsaarch64-darwin, x86_64-linux commit4c4cf9979e19fabf7ceccbf7c8eda553d836cdf6

$ nix shell github:NixOS/nixpkgs/4c4cf9979e19fabf7ceccbf7c8eda553d836cdf6#cadical

systemsaarch64-linux commitf586d35a11ec07ced41d9d62c125c6ca0006141f

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

systemsx86_64-darwin commitf2ea9a9fcd41b65651fd89c1b9198798f4362f66

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	4c4cf9979e19	2022-09-25	`out` /nix/store/sqv418hbc4bnksmzb784dszsa1ji4g9w-cadical-1.5.0 `dev` (not default) /nix/store/h387j32fb0p3c5w323vvqmvakacvbz5k-cadical-1.5.0-dev `lib` (not default) /nix/store/qyrj1ybi2j0j034bc27rmbkwg838i7dk-cadical-1.5.0-lib
`aarch64-linux` Linux · arm64	`cadical`	f586d35a11ec	2022-09-22	`out` /nix/store/fg9i2c2xzbrh9qglqj64ma1n0p6xg70w-cadical-1.5.0 `dev` (not default) /nix/store/z3y8wq6by2l469glrs5byak4v29xhz5f-cadical-1.5.0-dev `lib` (not default) /nix/store/56r6iy5dsy1ng812raa8b3gmdx88a0g7-cadical-1.5.0-lib
`x86_64-darwin` macOS · x86-64	`cadical`	f2ea9a9fcd41	2022-09-24	`out` /nix/store/faa5jz06jaqc40fgbniwr51qhbir1yp1-cadical-1.5.0 `dev` (not default) /nix/store/pqvbsb44z96d896l9wksw4q7s9jnm2lr-cadical-1.5.0-dev `lib` (not default) /nix/store/ylvmwnh2krdp34vkh2yfbilyrryak8vc-cadical-1.5.0-lib
`x86_64-linux` Linux · x86-64	`cadical`	4c4cf9979e19	2022-09-25	`out` /nix/store/1fz0hzkm5cszxn9r5cfiql3sq8i8vsqr-cadical-1.5.0 `lib` (not default) /nix/store/17fvapzyclx7x3bnzw7a7k472yq6zwg8-cadical-1.5.0-lib `dev` (not default) /nix/store/i3wfy0b3m5ny63vadjjrxdr2i3la0vc3-cadical-1.5.0-dev