Minor refactoring in Picosat class
Minor refactoring in Picosat class
Removed unnecessary return value in method signature
Minor refactoring of Model class
Minor refactoring in PicosatTest class