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