kissat 3.0.0

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

Linux and macOS last changed 2023-09-04 outputs: out, dev, lib

Pin this version

$ devbox add kissat@3.0.0

systemsaarch64-darwin, aarch64-linux commitd816b5ab44187a2dd84806630ce77a733724f95f

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

systemsx86_64-darwin commitfd8ad63083882605e8a7f659be6c9509e6e28d28

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

systemsx86_64-linux commit3c15feef7770eb5500a4b8792623e2d6f598c9c1

$ nix shell github:NixOS/nixpkgs/3c15feef7770eb5500a4b8792623e2d6f598c9c1#kissat

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`kissat`	d816b5ab4418	2023-09-03	`out` /nix/store/abrjv19zvkqkk4a16z12vmiqr7r4ifxl-kissat-3.0.0 `dev` (not default) /nix/store/423ira0w9ydh9lqlncbc5yl0lh9fv1rk-kissat-3.0.0-dev `lib` (not default) /nix/store/6afr654xa06d0fnadg76ypgc11awf1lm-kissat-3.0.0-lib
`aarch64-linux` Linux · arm64	`kissat`	d816b5ab4418	2023-09-03	`out` /nix/store/gr79kpvzqni6jciix6vwggfmk1m1ckx1-kissat-3.0.0 `dev` (not default) /nix/store/mm4f75ixfjr8ff5n4npc0q7mscd7h01r-kissat-3.0.0-dev `lib` (not default) /nix/store/423zrhbn835ffq2j2lpx62pnbygjgwwk-kissat-3.0.0-lib
`x86_64-darwin` macOS · x86-64	`kissat`	fd8ad6308388	2023-09-01	`out` /nix/store/6y6d6l3ly6mnfqpcddwzrgpsj5276785-kissat-3.0.0 `dev` (not default) /nix/store/ynhinzf71z2gmgz4hrryxzmrdy58148j-kissat-3.0.0-dev `lib` (not default) /nix/store/vh1svd0jxbybjic0w54f94yai0m6dzbk-kissat-3.0.0-lib
`x86_64-linux` Linux · x86-64	`kissat`	3c15feef7770	2023-09-04	`out` /nix/store/bnwx80mqryrd9sw8inkzcw3gp84m78pf-kissat-3.0.0 `lib` (not default) /nix/store/lkrgjhb11jxxprm7q71m0biq0hinwn9c-kissat-3.0.0-lib `dev` (not default) /nix/store/x18vr01ydfgrz7jp5qrbxq210zqqv7py-kissat-3.0.0-dev