eventb-to-txt
Convert Rodin Event-B models to plain-text format
eventb-to-txt converts Event-B models created in the Rodin Platform (.bum and .buc files) to a plain-text CamilleX-like format. Compatible with Rodin 3.0 and later models.
homepage ↗ github: eventb-rossi/eventb-to-txt pypi: eventb-to-txt
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| eventb-rossi GitHub ↗ | 1.7 | 1 | 31 h | details › |