30 public static class Version
37 public static uint Major
41 uint major = 0, minor = 0, build = 0, revision = 0;
42 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
50 public static uint Minor
54 uint major = 0, minor = 0, build = 0, revision = 0;
55 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
63 public static uint Build
67 uint major = 0, minor = 0, build = 0, revision = 0;
68 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
76 public static uint Revision
80 uint major = 0, minor = 0, build = 0, revision = 0;
81 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
89 public static string FullVersion
93 return Native.Z3_get_full_version();
100 new public static string ToString()
102 Contract.Ensures(Contract.Result<
string>() != null);
104 uint major = 0, minor = 0, build = 0, revision = 0;
105 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
106 return major.ToString() +
"." + minor.ToString() +
"." + build.ToString() +
"." + revision.ToString();