文件名称：kappa-stories:生成静态Kappa故事的程序
文件大小：53KB
文件格式：ZIP
更新时间：2024-06-07 06:38:30
OCaml
卡帕故事 生成静态kappa故事的程序。
【文件预览】：
kappa-stories-master
----texRendering.mli(2KB)
----contactMap.ml(777B)
----rule.ml(5KB)
----README.md(64B)
----agentBased.ml(1KB)
----tests()
--------sos.ka(5KB)
--------simpl.ka(214B)
--------cube.ka(448B)
--------sfb.ka(6KB)
--------dphos.ka(419B)
--------adeline-example.ka(854B)
----kappa.ml(7KB)
----storyBooks.odocl(50B)
----util.ml(5KB)
----texRendering.ml(11KB)
----dataStructures()
--------SExpr.ml(5KB)
--------leftistheap.ml(2KB)
--------equiv.mli(2KB)
--------equiv.ml(5KB)
--------pqueue.mli(472B)
--------lens.ml(834B)
--------nTable.mli(525B)
--------leftistheap.mli(1KB)
--------SExpr.mli(954B)
--------nTable.ml(1KB)
----refine.ml(2KB)
----generation.ml(547B)
----kappa()
--------signature.mli(2KB)
--------signature.ml(2KB)
--------simplePrinter.ml(883B)
--------simpleAst.mli(1KB)
--------siteGraph.mli(3KB)
--------parser.ml(7KB)
--------siteGraph.ml(5KB)
--------simpleAst.ml(3KB)
--------arch()
--------model.ml(843B)
--------thoughts.txt(0B)
----explore.ml(12KB)
----main.tex(147B)
----partialStory.ml(9KB)
----branchAndCut.ml(1KB)
----renderer.ml(3KB)
----Makefile(954B)
----story.ml(851B)
----ordsat.ml(2KB)
----main.ml(1KB)
----log.ml(585B)