extemp
extemporaneous: spoken or done without preparation
extemp
is a library for managing temporal automata as used in
TESLA and the
CADETS project.
- Available on crates.io
- Documentation
extemporaneous: spoken or done without preparation
extemp
is a library for managing temporal automata as used in
TESLA and the
CADETS project.