Removed misuse of Duration object: Picosat takes a decision level limit
Corrected doc
Refactoring: Uniform MiniSat naming
Renaming MiniSATJava CLI interface appropriate
Removed unused class
Removed MiniSat DLLs because JNA is hard to maintain and MiniSatJava will take this place
Improved Model class by using PLAtom; Refactoring of Picosat, CNFUtil and PLLiteral
Refactoring: Model now as case class