kissat 3.1.0

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

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

Pin this version

$ devbox add kissat@3.1.0

systemsaarch64-darwin commitd1c9180c6d1f8fce9469436f48c1cb8180d7087d

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

systemsaarch64-linux, x86_64-linux commit7131f3c223a2d799568e4b278380cd9dac2b8579

$ nix shell github:NixOS/nixpkgs/7131f3c223a2d799568e4b278380cd9dac2b8579#kissat

systemsx86_64-darwin commitf8be2c43b4b1c1aec02f741ae909696b8410ebc1

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`kissat`	d1c9180c6d1f	2023-10-04	`out` /nix/store/sgjfmxhyhsqpy2xyz18ra1vvjy2v83mm-kissat-3.1.0 `dev` (not default) /nix/store/rfpvf6fdhrv6cg02zh4xkbggns9swgrf-kissat-3.1.0-dev `lib` (not default) /nix/store/ddn1wv15jrpg418s4vjpzk9m8bpnk5s7-kissat-3.1.0-lib
`aarch64-linux` Linux · arm64	`kissat`	7131f3c223a2	2023-10-04	`out` /nix/store/vlv730wcjbrdh93lridm44wrmw9mxd4z-kissat-3.1.0 `dev` (not default) /nix/store/rnr527rnb36bjpvj30ywnvam2lbnydw8-kissat-3.1.0-dev `lib` (not default) /nix/store/8md6m5j7byav9bn39ns627v82gv0gv1b-kissat-3.1.0-lib
`x86_64-darwin` macOS · x86-64	`kissat`	f8be2c43b4b1	2023-10-01	`out` /nix/store/p6854mf153s0805fp0wshppsg2m10w2x-kissat-3.1.0 `dev` (not default) /nix/store/jm74mppvx3dyn5ll6mnz2dwf359y3v84-kissat-3.1.0-dev `lib` (not default) /nix/store/ggirqwmlg9w7j15ds1q2flpcqqbqa9lk-kissat-3.1.0-lib
`x86_64-linux` Linux · x86-64	`kissat`	7131f3c223a2	2023-10-04	`out` /nix/store/53yvikhzqycpn60vrl74h4kc8xaqm7g9-kissat-3.1.0 `dev` (not default) /nix/store/qvgsqq7g8rzy9spdw74bzrfz3hz4x4b8-kissat-3.1.0-dev `lib` (not default) /nix/store/sw5z0x4y0ic54b8nifpmc5qcfi0q8lif-kissat-3.1.0-lib