文件名称：modallogic:模态逻辑游乐场
文件大小：113KB
文件格式：ZIP
更新时间：2024-08-23 15:39:42
semantics directed-graph modal-logic JavaScript
模态逻辑游乐场 模态命题逻辑的图形语义计算器，使用 、 和构建。 在查看它的实际！ 可重用代码 代码的核心部分是 MPL.js，一个用于解析和评估模态命题逻辑的格式良好的公式的库。 请参阅的 API 参考。 我还提取了有向图编辑代码，以便可以轻松地重新利用它。 你可以在找到它。
【文件预览】：
modallogic-master
----css()
--------app.css(5KB)
----API-Reference.md(6KB)
----img()
--------blacktocat-32.png(2KB)
--------glyphicons-halflings.png(12KB)
--------glyphicons-halflings-white.png(9KB)
----index.html(22KB)
----js()
--------MPL.js(11KB)
--------app.js(21KB)
----LICENSE(1KB)
----lib()
--------bootstrap.min.css(101KB)
--------formula-parser.min.js(2KB)
--------d3.min.js(148KB)
----README.md(667B)