filnix.runningLive log

kissat

4.0.2TestedDependencies →

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

Build log · 15 Sep 05:01 · This campaign

Planning log · 15 Sep 03:11 · This campaign

pkgs/by-name/ki/kissat/package.nix

Test evidence

checkPhase · 4c76e6b7

Direct dependencies

bash-5.2p37 drat-trim-2023-05-22 p7zip-17.06 source stdenv-linux x86_64-unknown-linux-gnufilc0-pkg-config-wrapper-0.29.2

Selected dependents