Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merging complete. Everything looks good *crosses fingers* | 2016-06-06 | |
| | |||
* | Note that CVC4 support is experimental. | 2015-04-05 | |
| | |||
* | Fix typo in README.md spotted by Jeroen Ketema. | 2015-04-05 | |
| | |||
* | Add TravisCI build status icon to README.md | 2015-04-03 | |
| | |||
* | Add initial README.md | 2015-04-03 | |