文件名称:formular
介绍说明--下载内容均来自于网络,请自行研究使用
cnf generator which can translate logic functions into cnf form
(系统自动生成,下载前可以参看下载内容)
下载文件列表
formular\Clause.java
........\CNFFormular.java
........\Literal.java
formular
........\CNFFormular.java
........\Literal.java
formular