12 ms·
The SAT solver work is great, for anyone interested check out http://www.mancoosi.org/ http://www.mancoosi.org/, there's even an annual competition for solving
by jahewson 14y ago
The SAT solver work is great, for anyone interested check out http://www.mancoosi.org/ http://www.mancoosi.org/, there's even an annual competition for solving Linux package upgrade problems.