Modeling lazy constraintsΒΆ

TODO