jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.
46Updated last month

Alternatives and similar repositories for SMCDEL:

Users that are interested in SMCDEL are comparing it to the libraries listed below