(bool_variables, env)
Generates all possible assignments for a set of boolean variables.
Generates all possible assignments for a set of boolean variables.
Generates all possible assignments for a set of boolean variables .
def all_assignments(bool_variables, env):
    """Generates all possible assignments for a set of boolean variables."""
    mgr = env.formula_manager
    for set_ in powerset(bool_variables):
        yield dict((v, mgr.Bool(v in set_)) for v in bool_variables)
def all_assignments ( bool_variables , env ) : mgr = env . formula_manager for set_ in powerset ( bool_variables ) : yield dict ( ( v , mgr . Bool ( v in set_ ) ) for v in bool_variables )