Removing this 'optimization'. It's a horrible thing to do to SAT solvers
Removing this 'optimization'. It's a horrible thing to do to SAT solvers

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp