interval-algebra-2.0.2: An implementation of Allen's interval algebra for temporal logic