Clause: added check
Clause: changed check, added setVariables
ClauseReader: implemented, changed config to Integer and data to
List<SimpleClause>
SimpleClause: added
PapadimitriouAlgo: implemented
PapadimitriouAlgoTest: added setConfig and execute calls in test()