Module dimacs

Functions

from_dimacs

Parses a DIMACS file and returns it in CNF. Variable names are kept as decimal numbers.

to_dimacs

Writes the given CNF into a writer in DIMACS format and returns a mapping from variable IDs to their names.