Refactor code into a class
bprovanbessell opened this issue · comments
There are a bunch of variables, that many methods use, It's probably best to have a features class to store them all
Look at how the clauses are stored, this effects how the propagation and reduction is done