文件名称：DPLLSAT:用OCaml编写的简单DPLL SAT求解器，用于证明CNF子句形式的命题公式不令人满意
文件大小：6KB
文件格式：ZIP
更新时间：2024-04-21 01:56:04
OCaml
DPLLSAT:用OCaml编写的简单DPLL SAT求解器，用于证明CNF子句形式的命题公式不令人满意
【文件预览】：
DPLLSAT-main
----dune-project(31B)
----.gitignore(292B)
----source()
--------dpll.mli(237B)
--------dune(25B)
--------parser.ml(3KB)
--------dnf.ml(1KB)
--------dpll.ml(5KB)
--------parser.mli(234B)
--------lexer.mli(173B)
--------lexer.ml(2KB)
----.vscode()
--------settings.json(83B)