18 package com.microsoft.z3;
26 public final class Log 28 private static boolean m_is_open =
false;
static void appendLog(String a0)
static boolean open(String filename)
static int openLog(String a0)
static void append(String s)
def String(name, ctx=None)