Age | Commit message (Expand) | Author |
---|---|---|
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-06-15 | Fixes some assertion failures | Clark Barrett |
2012-06-14 | New substitutions implementation - fixes performance issue seen in nonclausal | Clark Barrett |
2012-06-14 | The "no-tears-in-competition-mode" commit. Change all (non-driver, non-SAT-s... | Morgan Deters |
2012-06-12 | Fixed fuzzing bug | Clark Barrett |
2012-06-11 | Fixed bug 352 | Clark Barrett |
2012-06-06 | Fixed assertion failures | Clark Barrett |
2012-06-05 | More clean-up | Clark Barrett |
2012-06-05 | Fixed a performance issue with unconstrained simplifier | Clark Barrett |
2012-06-05 | Adding missing files... | Clark Barrett |