Get prime implicate form of CNF in a DIMACS-like format
By Hector Palacios, 2007-2016.
For usage see ./test
For compiling:
make cleanmake
Questions at hectorpal@gmail.com
hectorpal/prime-implicate
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Get prime implicate form of CNF in a DIMACS-like format
By Hector Palacios, 2007-2016.
For usage see ./test
For compiling:
make cleanmakeQuestions at hectorpal@gmail.com