Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / CoAlgReasoner.mli @ de84f40d

History | View | Annotate | Download (794 Bytes)

# Date Author Comment
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