Skip to main content

coerce_bools_in_solutions

conjure_oxide::solve

Function coerce_bools_in_solutions 

Source 
fn coerce_bools_in_solutions(
    solutions: &[BTreeMap<Name, Literal>],
    domains: &BTreeMap<Name, DomainPtr>,
) -> Vec<BTreeMap<Name, Literal>>
Expand description

Turn solver 0/1 assignments back into booleans when the find domain is bool, so JSON/Essence output matches Conjure’s simplified JSON (true/false).