Documentation

Std.Sat.CNF.Dimacs

Equations
Equations

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.