=

<

>

d

di

o

oi

m

mi

s

si

f

fi
  1. Add a relation between two intervals. eg. i is before j (i < j)
  2. Add more relations (that don't contradict previous ones! eg. k > j)
  3. See inferences!

Currently doesn't warn you when contradicting constraints entered, but it will be evident because the relation between two intervals will become the empty array "[]". A single character should be used to represent an interval. Nodes can be moved. Hover to see only relevant things to current node.