Improve SMT scheduling constraint readability (code)
Current Status
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).
Proposed Action
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.
(from redmine: issue id 3474, created on 2018-07-05, closed on 2020-08-10)