Project

General

Profile

COOL - The Coalgebraic Ontology Logic Reasoner

Download

Most current version

To get COOL, clone the git repository via:

git clone git://cal8.cs.fau.de/cool
The compilation of COOL is described in the shipped INSTALL file. Note that you have to install all the dependencies first.

Statically linked binaries

If you want to avoid installing all the dependencies, you can use the statically linked binary snapshots which you can find on the Files section.

Examples

After Downloading and Building COOL, you can use one of it's frontends. The most minimal frontend is called coalg. E.g. checking the satisfiability of some Coalition Logic formula is done by:

./coalg sat CL  <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'