Z3.Version
val major : int
val minor : int
val build : int
val revision : int
val full_version : string
val to_string : string