2 releases
Uses old Rust 2015
0.1.1 | Jun 12, 2016 |
---|---|
0.1.0 | Jun 12, 2016 |
#15 in #temporal
28KB
505 lines
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
Dependencies
~4.5MB
~91K SLoC