nixsearch
nixsearch / pkg / kissat / 3.1.1

kissat 3.1.1

'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@3.1.1
systemsaarch64-darwin, aarch64-linux, x86_64-darwin commitd4f247e89f6e10120f911e2e2d2254a050d0f732 
$ nix shell github:NixOS/nixpkgs/d4f247e89f6e10120f911e2e2d2254a050d0f732#kissat
systemsx86_64-linux commit7881fbfd2e3ed1dfa315fca889b2cfd94be39337 
$ nix shell github:NixOS/nixpkgs/7881fbfd2e3ed1dfa315fca889b2cfd94be39337#kissat

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 kissat d4f247e89f6e
out
/nix/store/7bccgmczkwikil6ppqvrjrmc7j6sq4ir-kissat-3.1.1
lib (not default)
/nix/store/0mmkqbmcrji9fm2p2zanm8h1zgha5maf-kissat-3.1.1-lib
dev (not default)
/nix/store/4p6ryak4phi8plxwdh31mqr4xsw96v18-kissat-3.1.1-dev
aarch64-linux
Linux · arm64		 kissat d4f247e89f6e
out
/nix/store/2v27cmxk7ibdvvy762iq9avs5x1k8axf-kissat-3.1.1
lib (not default)
/nix/store/pcnilbkcl0bqgmzrqd3k3830gybvj2hh-kissat-3.1.1-lib
dev (not default)
/nix/store/3yxnxsydgzxihz6w0qlz90fcij3r3kd9-kissat-3.1.1-dev
x86_64-darwin
macOS · x86-64		 kissat d4f247e89f6e
out
/nix/store/qdpx635ap497iamrlkwfppyfa11k5sbw-kissat-3.1.1
dev (not default)
/nix/store/a9jmpkz2p9xrjw04nb1bqjfdifjw6772-kissat-3.1.1-dev
lib (not default)
/nix/store/4bwfr5c2cbhvpv672sd43lnzvirfk2md-kissat-3.1.1-lib
x86_64-linux
Linux · x86-64		 kissat 7881fbfd2e3e
out
/nix/store/bwwwdd03xxakqmvn53d97lbnr9vjkm64-kissat-3.1.1
lib (not default)
/nix/store/8bz3rpn8ilgvda6cfsg640vi7zdqcpnw-kissat-3.1.1-lib
dev (not default)
/nix/store/zl4k0w5bcrzx3450hsx8ks3bibmsbhjl-kissat-3.1.1-dev
← newer: 4.0.1 all 8 releases older: 3.1.0 →

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