public string GenerateMemberUniformly(Automaton<BDD> fa) { return solver.GenerateMemberUniformly(fa); }