check method

bool? check()

Implementation

bool? check() {
  return _c._lbool(_c._z3.solver_check(_solver));
}