translation only uses subformulas if their negation is not a subformula
added optimized translation
nom2fix and solveNom
translation from nominal to EG AF works for K
Translation for K
tried to use Fischer-Ladner Closure but not working yet
Add command line flag for fragment
The user can now choose which fragment of the mu-calculus the reasoneruses. More specialized fragments can have better performancecharacteristics.
Generalize command line argument parsing
Adds a new module CoolUtils.Args that implements a generic commandline argument parser. This makes it easier to add new options to themain program.
coalg: Make 'graph' subcommand more cli-friendly
- Read only one formula, we also only generate one graph- Don't print a prompt or the satisfiability result
This allows to redirect the output graph to a file or directly to dot.
Also available in: Atom