filnix.runningLive log

aspino

unstable-2018-03-24BuiltDependencies →

SAT/PseudoBoolean/MaxSat/ASP solver using glucose

Build log · 14 Sep 22:28 · This campaign

Planning log · 14 Sep 21:20 · This campaign

pkgs/by-name/as/aspino/package.nix

Direct dependencies

bash-5.2p37 boost-1.87.0 glucose-syrup.tgz source stdenv-linux zlib-1.3

Selected dependents

None recorded.