Skip to main content

set_pb_encoding

conjure_cp::settings

Function set_pb_encoding 

Source 
pub fn set_pb_encoding(encoding: Option<PbEncoding>)
Expand description

Pin a pseudo-Boolean provider/algorithm, or let the heuristic select it.