Function flussab_cnf::cnf::write_header [−][src]
pub fn write_header(writer: &mut impl Write, header: Header) -> Result<()>
Writes a DIMACS CNF header.
pub fn write_header(writer: &mut impl Write, header: Header) -> Result<()>
Writes a DIMACS CNF header.