Change Request #3474
Improve SMT scheduling constraint readability (code)
The code in some parts of the constraint construction of the SMT scheduler is hard to follow due to cryptic variable names and a lack of documentation about the formulation (e.g., NUM).
Add some human-readable formulations of the constructed constraints. Along with this, the varaible names should be improved if the formulas are not absolutely clear. Please try to avoid numbered indexes as far as possible.