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