CMake checks for Z3 4.x API
CMake checks for Z3 4.x API

hoangmle/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT,agra-uni-bremen/metaSMT,finnhaedicke/metaSMT,agra-uni-bremen/metaSMT,finnhaedicke/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT,finnhaedicke/metaSMT