filnix.runningLive log

picosat

965BuiltDependencies →

SAT solver with proof and core support

Build log · 14 Sep 20:01 · This campaign

Planning log · 15 Sep 07:57 · This campaign

pkgs/by-name/pi/picosat/package.nix

Direct dependencies

bash-5.2p37 picosat-965.tar.gz stdenv-linux

Selected dependents

aiger boolector lingeling