addSmtlib method

void addSmtlib(String str)

Implementation

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