My attempt to implement a solver for the boolean satisfiability problem, plus input and representation of problems.