Removing unnecessary printing
Cleaning up code a bit, don't use the "," operator
Using less temporaries in addClause() to speed up solver creation