addSmtlib method

void addSmtlib(String str)

Implementation

void addSmtlib(String str) {
  final strPtr = str.toNativeUtf8();
  try {
    _c._z3.optimize_from_string(_optimize, strPtr.cast());
  } finally {
    malloc.free(strPtr);
  }
}