A library for handling [clock zones] as they appear in the context of [timed automata]. [Timed automata] have been pioneered by [Rajeev Alur] and [David Dill] in 1994 to model real-time systems [[1]]. Timed automata extend finite automata with real-valued clocks. This crate provides an implementation of the [difference bound matrix] (DBM) data structure to efficiently represent [clock zones]. The implementation is mostly based on [[2]].