chronologic 0.7.11

Time constraint reasoning (scheduling...)
Documentation