Python RuntimeError when using --models > 0

[drwadu]

I'm trying to enumerate n models as described in the following minimal example snippet:

n = 0
ctl = Control(str(n))

# grounding, collecting assumptions etc.

with ctl.solve(assumptions=assumptions, yield_=True) as handle:
    models = [f"{model}".split(" ") for model in handle]

However, whenever I choose n > 0, I run into: RuntimeError: In context '': multiple occurrences: 'models'

How can I potentially resolve the problem?

[rkaminsk]

The initializer of the Control class expects a sequence of strings. Since Python has no character type, a string is also sequence of strings. Even a type checker will not find this bug. You should pass [str(n)] instead. Alternatively, you can also use the Configuration class to set the number of models to enumerate: ctl.configuration.solve.models = n.

[drwadu]

It works, thank you.