COOL is a generic reasoner for modal and hybrid logics; it can be instantiated to any modal or hybrid logic admitting an axiomatization in terms of so-called rank-1 rules or axioms.

Name
Last commit
Last update
benchmarks Loading commit data...
cool2tatl Loading commit data...
examples Loading commit data...
randcool Loading commit data...
src Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
FEATURES.adoc Loading commit data...
HACKING.adoc Loading commit data...
INSTALL.adoc Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
_oasis Loading commit data...
colorize.sh Loading commit data...
fact.conf Loading commit data...
install-remote.sh Loading commit data...
makestatic.sh Loading commit data...
playground.hs Loading commit data...
randmu.py Loading commit data...
tatl-compatibility-wrapper.sh Loading commit data...