Skip to main content

pretty_sat_decisions

conjure_cp::ast::pretty

Function pretty_sat_decisions 

Source 
pub fn pretty_sat_decisions(clauses: &[SatEncodingDecision]) -> String
Expand description

Pretty-print semantic SAT encoding decisions.