software . 2019

jrclogic/SMCDEL: v1.1.0

Malvin Gattinger;
Open Access
  • Published: 09 Dec 2019
  • Publisher: Zenodo
New: minimization under bisimulation dynamic operators in formulas via Data.Dynamic multipointed models, action models, structures and events added Cheryl's Birthday and Cheryl's Age examples experimental functions for epistemic planning (with small examples) more instances for QuickCheck, more tests add S5 to K conversion in SMCDEL.Translations.Convert improvements to the web interface Changed: polymorphic update replaces productUpdate, transform, pubAnnounce etc. factual change by default: merge Symbolic.S5.Change into Symbolic.S5 etc. remove changeprops in (Kn)Trf to avoid redundancy with changelaw move BDD related functions to HasCacBDD (substit, substitSimul) avoid Data.Map in S5 modules, no longer depend on lens replace .cabal file with a package.yml for hpack
Persistent Identifiers
Download from
Open Access
Software . 2019
Providers: ZENODO
Any information missing or wrong?Report an Issue