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.
Enable documentation generation in oasis
Documentation can be built with: ocaml setup.ml -doc
This also fixes two documentation comments that had the wrong syntax.
Perform sat propagation in debugger step
Otherwise, the debugger would report the reasoner result to be "Sat" when it should really be "Unsat".
Add vim modeline to all OCaml files
Implement lscores for debugger
Add basic debugging repl
Connect OWL ontologies with CoAlgReasoner
Separate cool into library and coalg frontend