Project

General

Profile

« Previous | Next » 

Revision f24367c4

IDf24367c401923686049ef43c4da77d3e15e6dc24
Parent 7ed16bab
Child e919f880

Added by Hans-Peter Deifel 8 months ago

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.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences