kissat 4.0.2

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

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

Pin this version

$ devbox add kissat@4.0.2

systemsaarch64-darwin commit2defa37146df235ef62f566cde69930a86f14df1

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

systemsaarch64-linux commit322d8a3c6940039f7cff179a8b09c5d7ca06359d

$ nix shell github:NixOS/nixpkgs/322d8a3c6940039f7cff179a8b09c5d7ca06359d#kissat

systemsx86_64-darwin commit0acc6a91343eb987397c27044a8d1fbcb374c265

$ nix shell github:NixOS/nixpkgs/0acc6a91343eb987397c27044a8d1fbcb374c265#kissat

systemsx86_64-linux commitc860cf0b3a0829f0f6cf344ca8de83a2bbfab428

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`kissat`	2defa37146df	2025-07-07	`out` /nix/store/xqm3nz1jnffw0bcwwgf7a9dawzw9hb9l-kissat-4.0.2 `dev` (not default) /nix/store/6aznjh9dg7g791l43spadzvazmn96j6z-kissat-4.0.2-dev `lib` (not default) /nix/store/aa552xxr7j8rkapy0xhjpsx27d35c7pc-kissat-4.0.2-lib
`aarch64-linux` Linux · arm64	`kissat`	322d8a3c6940	2025-06-26	`out` /nix/store/amywcqpk85jjfkgqms9bz8fls7031jdb-kissat-4.0.2 `dev` (not default) /nix/store/q1kvvk1ivwvlj7vhgnxqsh9j993nkrvw-kissat-4.0.2-dev `lib` (not default) /nix/store/rm25vwhdfi548n0cnnqb6z7f0rb35nmw-kissat-4.0.2-lib
`x86_64-darwin` macOS · x86-64	`kissat`	0acc6a91343e	2025-07-07	`out` /nix/store/zwqvj35ik2rrsji1ybp106xkdyyjsv77-kissat-4.0.2 `dev` (not default) /nix/store/vham6w3nm05cpaasa6ag1z8wkrb5n8q4-kissat-4.0.2-dev `lib` (not default) /nix/store/11lmqk3jw6lh19ybi4cdva26s1rxdz3x-kissat-4.0.2-lib
`x86_64-linux` Linux · x86-64	`kissat`	c860cf0b3a08	2025-07-04	`out` /nix/store/ip2l97xcqfcs8m0vn4r3g3jbx0lrvss1-kissat-4.0.2 `dev` (not default) /nix/store/4r4jlbdcmcbr0b59laj8bc73criikrbz-kissat-4.0.2-dev `lib` (not default) /nix/store/yvj2ns8fcfjysrz0cj1xybikyh7a96i1-kissat-4.0.2-lib