addSmtlib method
Implementation
List<AST> addSmtlib(String s) {
final sPtr = s.toNativeUtf8();
try {
final result = _c._z3.fixedpoint_from_string(_fp, sPtr.cast());
return _c._unpackAstVector(result);
} finally {
malloc.free(sPtr);
}
}