Testing different ways to add a theory (in this case equality theory) to a CDCL SAT-solver.
Primary LanguagePython