Tried to optimize translation with fixpoint approximation; added depthFormula function in CoAlgFormula
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.
Also available in: Atom