aboutsummaryrefslogtreecommitdiffstats
path: root/backends/btor/README
Commit message (Expand)AuthorAgeFilesLines
* Added BTOR backend README fileClifford Wolf2014-02-051-0/+23