Age | Commit message (Expand) | Author |
---|---|---|
2010-11-19 | Merge from ufprop branch, including: | Morgan Deters |
2010-11-17 | The "UF engineering issues" release, after much profiling. | Morgan Deters |
2010-11-16 | Added Theory::presolve(). | Tim King |
2010-10-09 | Model generation for arith, boolean, and uf theories via | Morgan Deters |
2010-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
2010-08-17 | Merge from "cc" branch: | Morgan Deters |