smtlib2Compliant property

set smtlib2Compliant (bool value)

Enables strict compliance with the SMT-LIB 2.0 standard.

Defaults to false.

Implementation

set smtlib2Compliant(bool value) => this['smtlib2_compliant'] = '$value';