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.
Add tests for command line option parser
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