T
Variables
Constraints
Test
Values
0 to T max
X i
C i
0 or 1 if Constraints verified
Max. Min or value