文件名称：Haskell-DPLL-SAT-Solver:求解SAT的经典DPLL算法
文件大小：9KB
文件格式：ZIP
更新时间：2024-06-06 19:51:25
Haskell
这是用Haskell编写的用于解决SAT的经典DPLL算法的简单实现 它使用Happy解析器来解析公式。 要运行它只需 cabal install alex cabal install happy cabal configure cabal run < cnf
【文件预览】：
Haskell-DPLL-SAT-Solver-master
----x.cabal(641B)
----readme.md(383B)
----LICENSE(1KB)
----src()
--------Tokens.x(527B)
--------Setup.hs(46B)
--------Grammar.y(1KB)
--------Main.hs(3KB)
----cnf(13KB)
----.gitignore(4B)