kissat 4.0.3

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

Linux and macOS last changed 2025-10-14 outputs: out, dev, lib

Pin this version

$ devbox add kissat@4.0.3

systemsaarch64-darwin commit2ea123939c5cb71d2761896c27e475aeab266364

$ nix shell github:NixOS/nixpkgs/2ea123939c5cb71d2761896c27e475aeab266364#kissat

systemsaarch64-linux commit832e3b6db48508ae436c2c7bfc0cf914eac6938e

$ nix shell github:NixOS/nixpkgs/832e3b6db48508ae436c2c7bfc0cf914eac6938e#kissat

systemsx86_64-darwin commitc12c63cd6c5eb34c7b4c3076c6a99e00fcab86ec

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

systemsx86_64-linux commitbce5fe2bb998488d8e7e7856315f90496723793c

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`kissat`	2ea123939c5c	2025-10-14	`out` /nix/store/cai0af5gjrq69sphmkay4s02ygar2l9g-kissat-4.0.3 `dev` (not default) /nix/store/jsc522ihqzppa0b5wp83pnvy7a7p81bm-kissat-4.0.3-dev `lib` (not default) /nix/store/gl28j7p49f0fccfy75h8nkxb3m7n0gk7-kissat-4.0.3-lib
`aarch64-linux` Linux · arm64	`kissat`	832e3b6db485	2025-10-12	`out` /nix/store/fz9ik6yf1syjrx8brzhmv15g28imfca8-kissat-4.0.3 `dev` (not default) /nix/store/7xzkjzh5k8ca9af7r9jn139yhj6l24i4-kissat-4.0.3-dev `lib` (not default) /nix/store/43ina7nq41dcavpxkdh4z5drr2y272ms-kissat-4.0.3-lib
`x86_64-darwin` macOS · x86-64	`kissat`	c12c63cd6c5e	2025-10-13	`out` /nix/store/8nj87saa3vw12y3lscbrxqbk0qr4492q-kissat-4.0.3 `dev` (not default) /nix/store/rga6529w0h8n4w9jawj3jd8jzsffgcd2-kissat-4.0.3-dev `lib` (not default) /nix/store/7kc9w2f3rarb5vz2h0nqjy9k8ccjl5va-kissat-4.0.3-lib
`x86_64-linux` Linux · x86-64	`kissat`	bce5fe2bb998	2025-10-07	`out` /nix/store/a7b7j9q09qa2l4pk2vrdniix79faq8rr-kissat-4.0.3 `dev` (not default) /nix/store/kq38fi5md6yqpmwvhk8h0dnahzk5d3ms-kissat-4.0.3-dev `lib` (not default) /nix/store/8gc9h30mp10f9rhwfs376dpjf8ar48xp-kissat-4.0.3-lib