package z3

  1. Overview
  2. Docs
val major : int
val minor : int
val build : int
val revision : int
val full_version : string
val to_string : string