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
Refactoring: Moved CNFUtil
Removed unused class which has no test cases
Minor refactoring in Picosat
Refactoing: Picosat
Re-adding CraigInterpolation
Added test cases for CraigInterpolation
Improved CraigInterpolation by avoiding multiple setMinus computation
Added description for CraigInterpolation
Added comment to Picosat
Minor refactoring in Picosat class
Minor refactoring in Picosat class
Removed unnecessary return value in method signature