Refactoring: Removed unnecessary Unit return type
Refactoring: Removed unnecessary semicolon
Refactoring: Corrected package structure
Minor refactoring
Minor refactoring: Java code style
Refactoring: Simplified Prover interface from un-implemented functionality
Added model class as return value for getModel
Adjusted PicoSATTest; Added toFormula for Model class
Refactoring: lower camel case
Refactoring: lower camel case
Refactoring: Removing unnecessary semicolon
Set default value for sat call
Updated documentation of JPicosat
Removed old TODO
Refactoring: Picosat classes
Refactoring: JPicosat
Simplified SAT Solver interface by removing redundant init method
Removed main method with user-specific details
Added JMinisat test class; Corrected JMinisat library path; Added status constants
Refactoring Picosat/JMiniSat: Elimitating magic numbers for cleaner code