Project

General

Profile

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'