Function pretty_clauses 

pub fn pretty_clauses(clauses: &[CnfClause]) -> String

Pretty prints a Vec<CnfClause> as a list of clauses as disjunctions

Each clause is printed on a new line, and expressions are delimited by commas.

For some input expressions A,B,C:

(a_0 \/ ¬a_1 ...),
(b_0 \/ b_1 ...),
(¬c_0 \/ c_1 ...)

Each Expression is printed using its underlying Display implementation.