option interpet_as_frozen

Default: false

Interprets an instance as having a lazy decision procedure and algebra.

Keyword:

Appears in: