A tableau-based satisfiability checker for CMAEL(CD) — Complete Multiagent Epistemic Logic with Common and Distributed knowledge - View it on GitHub