No need for this file
Learnt clause is now part of the class
Use the 'seen' for var bumping, too
Finally, OTF subsumption
Much faster otf subsumption