filnix.runningLive log

lingeling

pre1_708beb26BuiltDependencies →

Fast SAT solver

Build log · 14 Sep 22:48 · This campaign

Planning log · 15 Sep 05:11 · This campaign

pkgs/by-name/li/lingeling/package.nix

Direct dependencies

aiger-1.9.9 bash-5.2p37 source stdenv-linux

Selected dependents