Project

General

Profile

Wiki » History » Version 15

Thorsten Wißmann, 04/30/2014 12:49 AM

1 7 Thorsten Wißmann
h1. COOL - The Coalgebraic Ontology Logic Reasoner
2 3 Thorsten Wißmann
3 15 Thorsten Wißmann
After [[Download]]ing and "Building":https://cal8.cs.fau.de/redmine/projects/cool/repository/revisions/master/entry/INSTALL COOL, you can use on of it's frontends. The most minimal frontend is called coalg. E.g. checking the satisfiability of some Coalition Logic formula is done by:
4 13 Thorsten Wißmann
<pre>
5 15 Thorsten Wißmann
./coalg sat CL  <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'
6 15 Thorsten Wißmann
</pre>