check method
Implementation
bool? check([List<AST> assumptions = const []]) {
final assumptionsPtr = calloc<Z3_ast>(assumptions.length);
try {
for (var i = 0; i < assumptions.length; i++) {
assumptionsPtr[i] = _c._createAST(assumptions[i]);
}
final result = _c._maybeBool(_c._z3.optimize_check(
_optimize,
assumptions.length,
assumptionsPtr,
));
return result;
} finally {
malloc.free(assumptionsPtr);
}
}