aboutsummaryrefslogtreecommitdiffstats
path: root/cmake/FindCVC4.cmake
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Integration with CVC4Leonardo Alt2018-04-171-0/+4