kissat 2.0.1

'keep it simple and clean bare metal SAT solver' written in C

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

Pin this version

$ devbox add kissat@2.0.1

systemsaarch64-darwin commitc3e4dc4f6d23c7e41dda5ce98956c75c7779e2fa

$ nix shell github:NixOS/nixpkgs/c3e4dc4f6d23c7e41dda5ce98956c75c7779e2fa#kissat

systemsaarch64-linux commit21de2b973f9fee595a7a1ac4693efff791245c34

$ nix shell github:NixOS/nixpkgs/21de2b973f9fee595a7a1ac4693efff791245c34#kissat

systemsx86_64-darwin commitadf66cc31390f920854340679d7505ac577a5a8b

$ nix shell github:NixOS/nixpkgs/adf66cc31390f920854340679d7505ac577a5a8b#kissat

systemsx86_64-linux commit88664ff8498c01e5054474a5a575956befca94c1

$ nix shell github:NixOS/nixpkgs/88664ff8498c01e5054474a5a575956befca94c1#kissat

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`kissat`	c3e4dc4f6d23	2022-08-29	`out` /nix/store/q5fba1s49nrwk6a86v54yvl74klzsaw4-kissat-2.0.1 `dev` (not default) /nix/store/8mfsydiv2xnm4n7x8p2cc862shvh6jc6-kissat-2.0.1-dev `lib` (not default) /nix/store/ndr7jkvc2aimka64czs5ljd5jl9hc1aa-kissat-2.0.1-lib
`aarch64-linux` Linux · arm64	`kissat`	21de2b973f9f	2022-09-02	`out` /nix/store/ic5cp93kk8y6f02zvxmmp264yvs7nv94-kissat-2.0.1 `lib` (not default) /nix/store/8bnzd1vxfgfpirhp7lnhd4s3hbf0xcdk-kissat-2.0.1-lib `dev` (not default) /nix/store/mdqiqkwmmf6gq7z2rfkhilchb4yxvch0-kissat-2.0.1-dev
`x86_64-darwin` macOS · x86-64	`kissat`	adf66cc31390	2022-08-28	`out` /nix/store/s4jw3pvkf8ry0l58imr81yx7kkjjv2jd-kissat-2.0.1 `dev` (not default) /nix/store/mplcsk3p5zgaw0xcpwb9ps2bbxy9cb8q-kissat-2.0.1-dev `lib` (not default) /nix/store/zxwmgx2alqhszp3lh9kz2dmps9mmj2q9-kissat-2.0.1-lib
`x86_64-linux` Linux · x86-64	`kissat`	88664ff8498c	2022-08-28	`out` /nix/store/jd63ll697mllppqhyh2vy0grxm3k44ns-kissat-2.0.1 `dev` (not default) /nix/store/yqrgv0yw97brpzjpx49bpjb7n2kgrpgw-kissat-2.0.1-dev `lib` (not default) /nix/store/spgh6b7mif7lxyw2w1x6zqf1apczki4a-kissat-2.0.1-lib