New:
- ZDDs as alternative in
SMCDEL.Symbolic.S5_CUDD
andSMCDEL.Symbolic.K_CUDD
(by @dushiel) SMCDEL.Symbolic.Ki
andSMCDEL.Symbolic.Ki_CUDD
using one agent-indexed DD (by @dushiel)SMCDEL.Symbolic.S5_DD
: using the pure Haskelldecision-diagrams
library- Examples: add generalised versions of Sum and Product and Dining Cryptographers
- Web and CLI: add
ONEOF
keyword to allow formulas likeONEOF (p, q, r)
- fix #21 - Web and CLI: allow lists after Kw for formulas like
bob knows whether (p, q)
- Add gitpod and devcontainer configurations
- Haddock documentation, replacing the literate Haskell PDF document
- Add
D
andDw
operators for distributed knowledge (by @foxyseta and @BasLaa) - Multipointed models and structures for S5
Changed:
- Web UI improvements: syntax highlighting, vertically maximized
- Use
defaultVocabulary
also for random Boolean formulas (and thus BDDs) - Use
open
instead of hardcoding Okular - Use newer HasCacBDD with faster
sizeOf
- Bug fixes in
simStep
Full Changelog: v1.2.0...v1.3.0