JianZhao

I use the maven add this dependence ` org.sosy-lab javasmt-solver-z3 z3-4.4.1-1558-gf96cfea ` use the function of examples like this： `public void simpleExample() { System.out.println("SimpleExample"); try { Log.open("SimpleExample"); Log.append("SimpleExample"); }catch (Exception...