formular cnf generator which can translate logic f

Title: formular

Description: cnf generator which can translate logic functions into cnf form

Downloaders recently: [More information of uploader ouhang]

To Search:

File list (Check if you may need any files):

formular\Clause.java
........\CNFFormular.java
........\Literal.java
formular

Main Category