GitHub repository: tud-fop/rustomata
Primary language: Rust
Created: 2017-04-03T14:41:44Z
Description: Framework for (weighted) automata with storage