pub fn to_dimacs(w: impl Write, cnf: &[Vec<Literal>]) -> HashMap<u32, String>
Writes the given CNF into a writer in DIMACS format and returns a mapping from variable IDs to their names.