Function flussab_cnf::cnf::write_header
source · pub fn write_header(writer: &mut DeferredWriter<'_>, header: Header)Expand description
Writes a DIMACS CNF header.
pub fn write_header(writer: &mut DeferredWriter<'_>, header: Header)Writes a DIMACS CNF header.