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.
Equations
- One or more equations did not get rendered due to their size.