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