文件名称：SMCDEL：动态认知逻辑的符号模型检查器
文件大小：2.33MB
文件格式：ZIP
更新时间：2024-02-24 21:01:27
haskell logic symbolic model-checking epistemic-logic
SMCDEL：动态认知逻辑的符号模型检查器
【文件预览】：
SMCDEL-master
----Examples()
--------CherylsBirthday.smcdel.txt(3KB)
--------DrinkingLogicians.smcdel.txt(454B)
--------MuddyChildren.smcdel.txt(592B)
--------DiningCryptographers.smcdel.txt(913B)
----package.yaml(2KB)
----src()
--------SMCDEL()
----bench()
--------diningcrypto.hs(2KB)
--------sumandproduct.hs(2KB)
--------muddychildren.hs(5KB)
----SMCDEL.pdf(1.79MB)
----.travis.yml(1KB)
----LICENSE(18KB)
----test()
--------Examples.hs(8KB)
--------Translations.hs(5KB)
--------K.hs(4KB)
----README.md(4KB)
----stack.yaml(162B)
----exec()
--------smcdel-web.hs(5KB)
--------smcdel.hs(4KB)
----.gitignore(146B)
----.gitlab-ci.yml(141B)
----CHANGELOG.md(1KB)
----static()
--------index.html(4KB)
--------ace.js(368KB)
--------viz-lite.js(1.37MB)