Function write_clause 

pub fn write_clause<'a, T>(file: &mut impl Write, clause: T) -> Result<()>
where
    T: Iterator<Item = &'a Literal>,

Write some literals in DIMACS format.

Includes a terminating 0, but no newline.