kissat 4.0.1

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

Linux and macOS last changed 2025-01-26 outputs: out, dev, lib

Pin this version

$ devbox add kissat@4.0.1

systemsaarch64-darwin commitb582bb5b0d7af253b05d58314b85ab8ec46b8d19

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

systemsaarch64-linux commite1996d7bdaf4eafdb85690079b9e02b25dc14e4f

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

systemsx86_64-darwin commit5d3221fd57cc442a1a522a15eb5f58230f45a304

$ nix shell github:NixOS/nixpkgs/5d3221fd57cc442a1a522a15eb5f58230f45a304#kissat

systemsx86_64-linux commit606996d74f6e2a12635d41c1bf58bfc7ea3bb5ec

$ nix shell github:NixOS/nixpkgs/606996d74f6e2a12635d41c1bf58bfc7ea3bb5ec#kissat

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`kissat`	b582bb5b0d7a	2025-01-25	`out` /nix/store/ba1dj9hz57lz9663k3v1mnsyl8cl2m30-kissat-4.0.1 `dev` (not default) /nix/store/6954zkparkcfnpxgvv2cqx735hbaq0ss-kissat-4.0.1-dev `lib` (not default) /nix/store/f1k08mgpm1fr0f67p85666pfdi5jb14q-kissat-4.0.1-lib
`aarch64-linux` Linux · arm64	`kissat`	e1996d7bdaf4	2025-01-21	`out` /nix/store/dv6b9f0fd83ns53ip70ipdnmlj2ngcnf-kissat-4.0.1 `dev` (not default) /nix/store/zbbk442n449hn42g5jpjjmn4phl4q411-kissat-4.0.1-dev `lib` (not default) /nix/store/gysq4nk4sqnhrd831vanlm14mkg891s0-kissat-4.0.1-lib
`x86_64-darwin` macOS · x86-64	`kissat`	5d3221fd57cc	2025-01-26	`out` /nix/store/0f01wvv8l747iawl7prhw9rw2wwbs4aa-kissat-4.0.1 `dev` (not default) /nix/store/6xl52im457v47yn47597pwinf3jg4dfm-kissat-4.0.1-dev `lib` (not default) /nix/store/qih562gks5akan9326pdp6qri0mj47vf-kissat-4.0.1-lib
`x86_64-linux` Linux · x86-64	`kissat`	606996d74f6e	2025-01-22	`out` /nix/store/fkb3wc59vd8idpk8phk8cwnwgcilqb1m-kissat-4.0.1 `dev` (not default) /nix/store/f8qi9wi2ysrd0l315fd3s4x9sf2g035j-kissat-4.0.1-dev `lib` (not default) /nix/store/0bsfi56h1v6l3yikf7k8ld6360m4c4n8-kissat-4.0.1-lib