18 package com.microsoft.z3;
63 return revision.value;
73 return Integer.toString(major.value) +
"." + Integer.toString(minor.value) +
"." 74 + Integer.toString(build.value) +
"." + Integer.toString(revision.value);
static void getVersion(IntPtr a0, IntPtr a1, IntPtr a2, IntPtr a3)
static String getString()