smcdel (hackage): See README.md and SMCDEL.pdf for references and documentation.
Keywords: gpl|library|logic|program|epistemic-logic|haskell|model-checking|symbolic