boolean_circuit::literal

Function clause_to_string

Source 
pub fn clause_to_string(clause: &[Literal]) -> String
Expand description

Formats a clause in human-readable form.