jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.
43Updated last week

Related projects

Alternatives and complementary repositories for SMCDEL