Implementation of Allen's interval calculus and consistency algorithms.