summaryrefslogtreecommitdiff
path: root/README.md
Commit message (Expand)AuthorAge
* Note that CVC4 support is experimental.Gravatar Dan Liew2015-04-05
* Fix typo in README.md spotted by Jeroen Ketema.Gravatar Dan Liew2015-04-05
* Add TravisCI build status icon to README.mdGravatar Dan Liew2015-04-03
* Add initial README.mdGravatar Dan Liew2015-04-03