Refactoring Picosat/JMiniSat: Elimitating magic numbers for cleaner code
Refactoring: Choosing more human readable variable names
Refactoring: Choosing more human readable variable names
Adjusted undo method of Picosat as Solver interface doc says