Simple SAT-Solver implementation in Java.