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