【文件属性】：
文件名称：sat:一个简单的蛮力SAT求解器
文件大小：16KB
文件格式：ZIP
更新时间：2021-04-12 07:51:52
OCaml
SAT考试
该程序实现了布尔可满足性问题的求解器。
变更日志
4/10/21：针对特定输入实现了布尔函数的求值4/11/21：对存在的令人满意的配置进行了验证
【文件预览】：
sat-main
----exp.cmo(167B)
----main.ml(4KB)
----exp(20KB)
----README.md(249B)
----exp.ml(82B)
----main.cmo(3KB)
----exp.cmi(435B)
----main(22KB)
----main.cmi(2KB)