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