isInconsistent method

bool isInconsistent()

Implementation

bool isInconsistent() {
  return _c._z3.goal_inconsistent(_goal);
}