report invalid models in fz

2020-11-20 13:20:23 +01:00
parent e6e8edf2af
commit 48efb8add6
1 changed files with 2 additions and 0 deletions
--- a/ortools/flatzinc/cp_model_fz_solver.cc
+++ b/ortools/flatzinc/cp_model_fz_solver.cc
@@ -1137,6 +1137,8 @@ void SolveFzWithCpModelProto(const fz::Model& fz_model,
      }
    } else if (response.status() == CpSolverStatus::INFEASIBLE) {
      std::cout << "=====UNSATISFIABLE=====" << std::endl;
+    } else if (response.status() == CpSolverStatus::MODEL_INVALID) {
+      std::cout << "=====MODEL INVALID=====" << std::endl;      
    } else {
      std::cout << "%% TIMEOUT" << std::endl;
    }