Removed unused class which has no test cases
Minor refactoring in Picosat
Refactoing: Picosat