Skip to main content

save_solutions_essence

Function save_solutions_essence 

Source
pub fn save_solutions_essence(
    solutions: &[BTreeMap<Name, Literal>],
    path: &str,
    test_name: &str,
    solver: SolverFamily,
) -> Result<String, Error>
Expand description

Writes solutions in Conjure’s multi-solution Essence format.