spiderx@spiderx.dp.ua Vladimir Pavljuchenkov proxy-maint@gentoo.org Proxy Maintainers PureSAT uses DPLL with non-chronological backtracking and learning of binaary clauses. Solver is in no-comparison to the state of the art solvers, but it's fast enough to solve sudoku. Build executable puresat phadej/puresat