BLUE A Powerful SAT Solver for Java very simple: java -jar -Xmx4g blue.jar file.cnf Blue is based on Minisat many thanks to Niklas Een, Niklas Sorensson for this great solver.
