dumpModels property

set dumpModels (bool value)

Whether to dump models whenever check-sat returns sat.

Defaults to false.

Implementation

set dumpModels(bool value) => this['dump_models'] = '$value';