jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.
46Updated 2 months ago

Alternatives and similar repositories for SMCDEL:

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