unsatCore property

void unsatCore=(bool value)

Whether we can obtain unsatisfiable cores with get-unsat-core.

Defaults to false.

Implementation

set unsatCore(bool value) => this['unsat_core'] = '$value';