Module Z3.Version

module Version: sig .. end

Version information

val major : int

The major version.

val minor : int

The minor version.

val build : int

The build version.

val revision : int

The revision.

val full_version : string

A full version string.

val to_string : string

A string representation of the version information.