Skip to content

Files

Latest commit

61df1b8 · Mar 14, 2020

History

History
2 lines (2 loc) · 78 Bytes

README.md

File metadata and controls

2 lines (2 loc) · 78 Bytes

RLS2SyRust

Convert output of RLS to input of petri-net synthesis framework.