2 releases
Uses new Rust 2024
| new 0.1.1 | Apr 22, 2026 |
|---|---|
| 0.1.0 | Apr 12, 2026 |
#449 in Robotics
Used in smc_scan
325KB
6.5K
SLoC
Parser and model builder for SCAN's JANI specification format.
SCAN JANI
JANI parser for the SCAN model checker.
See SCAN homepage for more information.
Dependencies
~4–5MB
~89K SLoC