smtlib2Compliant property
Enables strict compliance with the SMT-LIB 2.0 standard.
Defaults to false.
Implementation
set smtlib2Compliant(bool value) => this['smtlib2_compliant'] = '$value';
Enables strict compliance with the SMT-LIB 2.0 standard.
Defaults to false.
set smtlib2Compliant(bool value) => this['smtlib2_compliant'] = '$value';