Skip to main content

write_satf

Function write_satf 

Source
pub fn write_satf<W: Write>(
    writer: W,
    trace: &SatfTrace,
    pretty: bool,
) -> Result<()>