Partial fix to idealistic check #200

ampl · Aug 31, 2023 · 668134f · 668134f
1 parent 3f4e3cf
commit 668134f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/include/mp/flat/constr_base.h b/include/mp/flat/constr_base.h
@@ -197,7 +197,7 @@ double ComputeViolation(
   }
   return                              // recomputed var minus solver's
       std::fabs(x[resvar] - x.raw(resvar))
-      + x.bounds_viol(resvar);
+      + std::max(0.0, x.bounds_viol(resvar));
 }
 
 

diff --git a/include/mp/flat/converter.h b/include/mp/flat/converter.h
@@ -1152,6 +1152,7 @@ class FlatConverter :
     double solinttol_ = 1e-5;
     bool dont_use_sol_round_ = false;
     bool dont_use_sol_prec_ = false;
+    int solchkoutlev_ = 0;
   };
   Options options_;