项目描述 ：
Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms

高级语言： SMT

项目主页： http://www.pm.inf.ethz.ch/education/courses/program-verification.html

项目地址: git://github.com/limo1996/ProgramVerification1.git

创建时间： 2018-03-08T19:44:21Z
项目社区：https://github.com/limo1996/ProgramVerification1
开源协议：
下载