20using System.Diagnostics;
29 public static class Version
36 public static uint Major
40 uint major = 0, minor = 0, build = 0, revision = 0;
41 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
49 public static uint Minor
53 uint major = 0, minor = 0, build = 0, revision = 0;
54 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
62 public static uint Build
66 uint major = 0, minor = 0, build = 0, revision = 0;
67 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
75 public static uint Revision
79 uint major = 0, minor = 0, build = 0, revision = 0;
80 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
88 public static string FullVersion
92 return Native.Z3_get_full_version();
99 new public static string ToString()
102 uint major = 0, minor = 0, build = 0, revision = 0;
103 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
104 return major.ToString() +
"." + minor.ToString() +
"." + build.ToString() +
"." + revision.ToString();