Documentation

Std.Sat.CNF.Dimacs

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
    Instances For