ensureSat method

Model ensureSat()

Implementation

Model ensureSat() {
  final result = check();
  if (result == false) {
    final core = getUnsatCore();
    throw Exception('Not satisfiable: $core');
  } else if (result == null) {
    final reason = getReasonUnknown();
    throw Exception('Unknown satisfiability: $reason');
  }
  return getModel();
}