This function turns cnf
into a DIMACS String
.
Note: This function will add 1
to all literal identifiers by default. This is because 0
is an
illegal identifier in the DIMACS format and we can avoid producing invalid DIMACs like this.
This function turns cnf
into a DIMACS String
.
Note: This function will add 1
to all literal identifiers by default. This is because 0
is an
illegal identifier in the DIMACS format and we can avoid producing invalid DIMACs like this.