getReasonUnknown method

String getReasonUnknown()

Implementation

String getReasonUnknown() {
  return _c._z3
      .solver_get_reason_unknown(_solver)
      .cast<Utf8>()
      .toDartString();
}