DPLLSAT:用OCaml编写的简单DPLL SAT求解器，用于证明CNF子句形式的命题公式不令人满意
需积分: 10 142 浏览量
2021-04-01
08:09:24
上传
评论
收藏 6KB ZIP 举报
DPLLSAT-main.zip （11个子文件） 
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资源评论
