aboutsummaryrefslogtreecommitdiffstats
path: root/cmake/FindZ3.cmake
Commit message (Expand)AuthorAgeFilesLines
* Fix cmake Z3 import issue for FedoraDominik Harz2018-11-081-1/+1
* cmake flags to make solvers optional. Implementation of #4651Matías Aereal Aeón2018-08-081-6/+8
* CMake: Fix FindZ3Paweł Bylica2017-08-241-5/+3
* Prepare build system for Z3.chriseth2017-08-231-0/+9