option interpret_as_algebra

Default: false

Interprets the set of equations in an instance as being the saturation of a model, similar to JDBC / CSV import. Enabling this options bypasses the construction of a decision procedure, increasing performance, potentially greatly.

Keyword:

instance_literal

Appears in:

Employees
Petri