文件名称：lua-bdd:二元决策图库（Lua）
文件大小：9KB
文件格式：ZIP
更新时间：2024-06-24 01:23:39
Lua
这是二元决策图库的 Lua 实现，如 Henrik Reif Andersen 的“二元决策图简介”中所述。 有关使用示例，请查看测试套件（取决于 lunatest）。 编写代码是为了清晰而不是性能（尽管它确实在几秒钟内找到了 10-queens 的所有解决方案）。 我一直在研究 BDD 及其在二元约束求解器、Datalog 等方面的应用。 也许它会对其他人有所帮助。 如果您想了解有关 BDD 的更多信息，Knuth 的The Art of Computer Programming vol. 中有很多信息。 4A，以及 Aho、Sethi 和 Ullman 的编译器：原理、技术和工具第二版中的一些报道。
【文件预览】：
lua-bdd-master
----README.md(718B)
----bdd.lua(10KB)
----test.lua(20KB)