Removing implied literal caching
Using an internal 'clauses' for Simplifier

It wasn't a good idea to use Solver's structs. When a clause became
irred from red, then that would have been hard to handle
Better naming of 'solprint' : 'printsol'
Rename simplifyBySubsumption() to simplify()
No need for a high version 1.34 of boost
Adding data-getting to vec<>
Only check clause abstraction once
Print "c " in front of zeroDepthAssign output
Subsume before cleaning clauses
Update limits
Adding SQL data about reduceDB
No need for the 'advanced' free Var getting

It's all the same now
3-long clauses are not implicit, don't count them
Better name and cleaner implementation of reduceDB stats
Adding "size" to the name to indicate what kind of distribution it is
Adding sgen4 to the fuzzer
Adding support for clause size-glue dumping

The MySQL dumping is not yet complete
Fixing too high boost requirement
Preliminary glue-size scatter implementation
Get rid of capitalised names, they are difficult to work with