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 [email protected]
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 [email protected]