stp.Option

class stp.Option(value, names=<not given>, *values, module=None, qualname=None, type=None, start=1, boundary=None)

PRODUCE_MODELS = 0

SAT_BACKEND = 1

RANDOM_SEED = 2

MODEL_ARRAY_FILL = 3

LOGIC = 4

SIMPLIFY = 5

DEFAULT_ROUNDING_MODE = 6

DISABLE_SIMPLIFICATIONS = 7

THREADS = 8

ARRAY_EQUALITY = 9

BV_EQ_ABSTRACTION = 10

BV_TERM_ABSTRACTION = 11

UNINTERPRETED_FUNCTIONS = 12

UF_ACKERMANN = 13

UF_SORT_WIDTH = 14

FP_ABSTRACTION = 15

CNF_GENERATION_EFFORT = 16

INCREMENTAL = 17

INCREMENTAL_AUTO_ENGAGE_AT = 18

MAX_NUM_CONFL = 19

MAX_TIME = 20

CHECK_SANITY = 21