1 Commits (5ba2c6357e698d2634e14d9a18b713051c6daef9)

Author SHA1 Message Date
Matthias Volk 785dbbdcdb CMake version parsing of z3 without z3 binary 8 years ago