Mark remaining capacity constraints as lazy.

erdos-project · Nov 9, 2023 · a051860 · a051860
1 parent 6606803
commit a051860
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/schedulers/tetrisched/src/CapacityConstraint.cpp b/schedulers/tetrisched/src/CapacityConstraint.cpp
@@ -98,6 +98,7 @@ void CapacityConstraint::translate(SolverModelPtr solverModel) {
     capacityConstraint->addTerm(-1 * usageUpperBound);
     capacityConstraint->addTerm(usageUpperBound, overlapVariable);
   }
+  capacityConstraint->addAttribute(ConstraintAttribute::LAZY_CONSTRAINT);
   solverModel->addConstraint(capacityConstraint);
   // if (!capacityConstraint->isTriviallySatisfiable()) {
   //   // COMMENT (Sukrit): We can try to see if adding Lazy constraints