jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

Home Page:https://w4eg.de/malvin/illc/smcdelweb

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

jrclogic/SMCDEL Stargazers