Function enumerate_models_for_formula

pub fn enumerate_models_for_formula(
    formula: EncodedFormula,
    f: &FormulaFactory,
) -> Vec<Model>

Enumerates all models of a formula and returns it as a vector.

The default configuration is used.

Make sure that all models of the formulas fit into your memory. The default configuration does not limit the number of models and the algorithm will continue until there are no more models left.

Example

Basic usage:

let f = FormulaFactory::new();
let formula = "A <=> B".to_formula(&f);

let models = enumerate_models_for_formula(formula, &f);