smcdel-1.3.0: Symbolic Model Checking for Dynamic Epistemic Logic
Quick Jump
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
SMCDEL.Examples.MuddyPlanning
Documentation
toyPlan
:: [
OfflinePlan
]
Source
#