ensureUnsat method

void ensureUnsat()

Implementation

void ensureUnsat() {
  final result = check();
  if (result == true) {
    final model = getModel();
    throw Exception('Not unsatisfiable: $model');
  } else if (result == null) {
    final reason = getReasonUnknown();
    throw Exception('Unknown satisfiability: $reason');
  }
}