Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / CoAlgReasoner.mli @ bc0691dc

History | View | Annotate | Download (1.07 KB)

# Date Author Comment
f24367c4 04/06/2017 05:57 PM Hans-Peter Deifel

Add command line flag for fragment

The user can now choose which fragment of the mu-calculus the reasoner
uses. More specialized fragments can have better performance
characteristics.

7198f96f 03/22/2017 06:21 PM Hans-Peter Deifel

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.

371cb823 03/22/2017 04:54 PM Hans-Peter Deifel

Perform sat propagation in debugger step

Otherwise, the debugger would report the reasoner result to be "Sat"
when it should really be "Unsat".

a57eb439 03/21/2017 09:12 PM Hans-Peter Deifel

Add vim modeline to all OCaml files

f335015f 02/05/2015 05:08 AM Thorsten Wißmann

Implement lscores for debugger

c2cc0c2e 02/05/2015 04:00 AM Thorsten Wißmann

Add basic debugging repl

c78c1ce0 05/06/2014 08:00 AM Thorsten Wißmann

Connect OWL ontologies with CoAlgReasoner

7c4d2eb4 04/23/2014 11:21 AM Thorsten Wißmann

Separate cool into library and coalg frontend