Skip to content
Snippets Groups Projects
Commit f24367c4 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel :turtle:
Browse files

Add command line flag for fragment 

The user can now choose which fragment of the mu-calculus the reasoner
uses. More specialized fragments can have better performance
characteristics.
parent 7ed16bab
No related branches found
No related tags found
Show whitespace changes
Inline Side-by-side
Showing
with 70 additions and 26 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment