bdd: sat_one() now ensures that a solution is returned with the minimum number of variables assigned `true`.
bdd: sat_one() now ensures that a solution is returned with the minimum number of variables assigned `true`.

cfallin/boolean_expression,cfallin/boolean_expression