Searched defs:Z3_FULL_VERSION (Results 1 – 3 of 3) sorted by relevance
7 #define Z3_FULL_VERSION @Z3_FULL_VERSION@ macro
7 #define Z3_FULL_VERSION "4.8.5.0" macro