smtlib2Compliant property

void 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';