~eshel/PanDEMC

PanDEMC ain't no Dynamic Epistemic Model Checker
Rename predicate in muddy_children.pl
Add interface predicates

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~eshel/PanDEMC
read/write
git@git.sr.ht:~eshel/PanDEMC

You can also use your local clone with git send-email.

Do not follow this link