18 package com.microsoft.z3;
63 return revision.value;
81 return Integer.toString(major.value) +
"." + Integer.toString(minor.value) +
"." 82 + Integer.toString(build.value) +
"." + Integer.toString(revision.value);
static String getFullVersion()
static void getVersion(IntPtr a0, IntPtr a1, IntPtr a2, IntPtr a3)
static String getString()
static String getFullVersion()
def String(name, ctx=None)