Lib.rs

›
#automata #temporal #processing #io #documentation

bin+lib extemp

用于处理时序自动机的库

由 Jonathan Anderson 编写

2 个版本

使用旧的 Rust 2015

0.1.1 2016年6月12日
0.1.0 2016年6月12日

#15 in #temporal

Apache-2.0 OR MIT

28KB
505 代码行

extemp

extemporaneous: 无准备地说话或做事

extemp 是一个用于管理 时序自动机 的库，用于 TESLA 和 CADETS 项目。

依赖关系

~4.5MB
~91K SLoC