Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
i7
peregrine
Repository
1363ee6d8273b7a1b5227f0fb6020122b1a219df
Switch branch/tag
peregrine
src
Main.hs
Find file
Blame
History
Permalink
Added output of petri net and formula in lola format
· 1363ee6d
Philipp Meyer
authored
Jul 15, 2014
1363ee6d