Age | Commit message (Expand) | Author |
---|---|---|
2017-07-10 | Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ... | ajreynol |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-07-07 | Use new copyright header format. | Mathias Preiner |
2016-10-26 | New implementation of sets+cardinality. Merge Paul Meng's relation solver as... | ajreynol |
2016-10-13 | Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git" | Tim King |
2016-09-23 | fixed a few bugs | Paul Meng |
2016-04-20 | add utils class for relational theory | PaulMeng |