nixsearch
nixsearch / pkg / kissat / 4.0.4

kissat 4.0.4

'keep it simple and clean bare metal SAT solver' written in C
Linux and macOS last changed outputs: out, dev, lib

Pin this version

$ devbox add kissat@4.0.4
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#kissat
systemsx86_64-darwin commit6edbf1a6a03e75886a6609c088801a0856449e88 
$ nix shell github:NixOS/nixpkgs/6edbf1a6a03e75886a6609c088801a0856449e88#kissat

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 kissat b6c8664de9b6
out
/nix/store/grhkpkqr41ahn5g2sv2rlk96pi9qvnad-kissat-4.0.4
dev (not default)
/nix/store/nkgq2n26fb81xvl84pksf8szszp1a25s-kissat-4.0.4-dev
lib (not default)
/nix/store/b6fvgfcc6401v3dzki28qdckk6xhq6yb-kissat-4.0.4-lib
aarch64-linux
Linux · arm64		 kissat b6c8664de9b6
out
/nix/store/76kbpgcpd6gn411iy0rq792sjzbwm4mn-kissat-4.0.4
dev (not default)
/nix/store/rj1l02hxhnl052qpy30mmnc9cqqb0dfz-kissat-4.0.4-dev
lib (not default)
/nix/store/zx5584ix2xx841szbmp5a823zxwq18ax-kissat-4.0.4-lib
x86_64-darwin
macOS · x86-64		 kissat 6edbf1a6a03e
out
/nix/store/15bimrirfbm0vl0mygwcgggsh8sc0man-kissat-4.0.4
dev (not default)
/nix/store/9icm76rfnrz1kqjnx2q4jxf3s5254q6a-kissat-4.0.4-dev
lib (not default)
/nix/store/8l59nrf1m714pz5990rayqffbh6dx91b-kissat-4.0.4-lib
x86_64-linux
Linux · x86-64		 kissat b6c8664de9b6
out
/nix/store/r2yzalfqqljkqdgjp6j0kn5i2bm5g9z0-kissat-4.0.4
dev (not default)
/nix/store/rzqzaph221p165fv54gb9jvbsc6afns4-kissat-4.0.4-dev
lib (not default)
/nix/store/4lxhxzm9bpvg8m2p0k273wgrhimvrkyg-kissat-4.0.4-lib
all 8 releases older: 4.0.3 →

JSON: /v2/pkg?name=kissat · /v2/resolve?name=kissat&version=4.0.4