COOL - The Coalgebraic Ontology Logic Reasoner


Most current version

To get COOL, clone the git repository via:

git clone git://
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.


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'