CMake improvements#169

Open

ekilmer wants to merge 2 commits intomasterfrom

ekilmer/cmake-improvements

Commits on Apr 4, 2023

cmake: Improve installed config file
ekilmer
committed

Commits on Apr 25, 2023

cmake: Improve FindZ3 module
ekilmer
committed