extemp 0.1.1

A library for processing temporal automata
Documentation