UniK/SAT-Solver

Simple SAT-Solver implementation in Java.