PapadimitriouAlgo: refactored
SimpleClause: renamed variableOne and varialbeTwo fields and getters,
added equals and hashcode, added isInversed methods
ClauseCleaner: added with implemented isAboutOneVariable, isDuplicate
PapadimitriouAlgoTest: added ClauseCleaner
2sat0.txt: added some test cases for cleaner
SimpleClause: replaced hashCode and equals with regular one
SimpleClause: made constructor private, added static contructor method
getNewSimpleClause
ClauseReader: changed constructor invokation to static method call
SimpleClause: renamed variableOneIndex, variableTwoIndex, isInversedOne,
isInversedTwo to smallerVariableIndex, largerVariableIndex,
isInversedSmaller, isInversedLarger respectively. changed static
constructor to make instances identical without dependence on order
ClauseCleaner: fixed renaming issues
SimpleClause: renamed from "one", "two" to "smaller" and "larger"
ClauseCleaner, PapadimitriouAlgo: affected by renaming
PapadimitriouAlgoTest: added testSmall, changed test
SimpleClause: refactoring - removed checkOne, checkTwo
ClauseCleaner: removed i and countClauses
ClauseCleaner: added setUp
PapadimitriouAlgo: changed data to variables in comment
2sat0.txt: changed to true solution
test.txt: added
PapadimitriouAlgoTest: added testTest, changed string constants to be
static