Temporal logic data structures for time constraint reasoning.
Experimental (and somewhat unstable) crate.
Not to be used at this time (or at your own risk).