Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-04-21 | Goodbye CVC4, hello cvc5! (#6371) | Mathias Preiner | |
This commits changes the build system to cvc5 and removes the remaining occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/. | |||
2018-04-02 | Remove references to nyu (#1721) | Clark Barrett | |
2017-08-21 | Change Bugzilla urls to Github issues. | Mathias Preiner | |
2014-06-22 | Better documentation pages. | Morgan Deters | |
2014-06-21 | API documentation improvements. | Morgan Deters | |