Module boolector::option

This module exposes options which can be set on a Btor instance.

Enums

AIGPropQuantSynthesis
BtorOption	Documentation for individual options and their possible values are more-or-less taken verbatim from the Boolector 3.0.0 docs.
DualPropQsortOrder
EagerLemmas
IncrementalSMT1
InputFileFormat
JustificationHeuristic
ModelGen
NumberFormat
OutputFileFormat
PropPathSelection
RewriteLevel
SLSMoveStrategy
SatEngine
SolverEngine