Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
i7
peregrine
Repository
384039aed68beceaade36f94c9f1c60a7e1f2487
Switch branch/tag
peregrine
src
Solver
TerminalMarkingReachable.hs
Find file
Blame
History
Permalink
added minimization option for partition proof of reachable terminal marking
· 384039ae
Philipp J. Meyer
authored
Feb 03, 2017
384039ae
TerminalMarkingReachable.hs
5.38 KB
Edit
Web IDE
Replace TerminalMarkingReachable.hs
×
Attach a file by drag & drop or
click to upload
Commit message
Replace TerminalMarkingReachable.hs
Replace file
Cancel
A new branch will be created in your fork and a new merge request will be started.
