public final class SymbolicExecutor extends java.lang.Object
static boolean
execute(Options options, java.lang.String modelName, java.lang.String fileName)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static boolean execute(Options options, java.lang.String modelName, java.lang.String fileName)