translation from nominal to EG AF works for K
added VAR to patternmatching
Translation for K
translation calculates fisher ladner closure correctly
tried to use Fischer-Ladner Closure but not working yet
part 1 and 3 of translation
first part of translations is implemented
Replace String.split_on_char with custom implementation
String.split_on_char was introduced in OCaml 4.04, but we want tosupport 4.02.
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.
Also available in: Atom