Option

The kind of a Bitwuzla configuration option.

Options are configured via a bitwuzla.Options instance, which must be configured before creating a bitwuzla.Bitwuzla instance.

• enum Option

class bitwuzla.Option(*values)

Configuration options supported by Bitwuzla. For more information on options see Options.

ABSTRACTION = 23

ABSTRACTION_ASSERT = 28

ABSTRACTION_ASSERT_REFS = 29

ABSTRACTION_BV_ADD = 32

ABSTRACTION_BV_MUL = 33

ABSTRACTION_BV_SIZE = 24

ABSTRACTION_BV_UDIV = 34

ABSTRACTION_BV_UREM = 35

ABSTRACTION_EAGER_REFINE = 25

ABSTRACTION_EQUAL = 36

ABSTRACTION_INC_BITBLAST = 31

ABSTRACTION_INITIAL_LEMMAS = 30

ABSTRACTION_ITE = 37

ABSTRACTION_VALUE_LIMIT = 26

ABSTRACTION_VALUE_ONLY = 27

BV_SOLVER = 9

DBG_CHECK_MODEL = 52

DBG_CHECK_UNSAT_CORE = 53

DBG_PP_NODE_THRESH = 51

DBG_RW_NODE_THRESH = 50

LOGLEVEL = 0

MEMORY_LIMIT = 7

NTHREADS = 8

PP_CONTRADICTING_ANDS = 39

PP_ELIM_BV_EXTRACTS = 40

PP_ELIM_BV_UDIV = 41

PP_EMBEDDED_CONSTR = 42

PP_FLATTEN_AND = 43

PP_NORMALIZE = 44

PP_SKELETON_PREPROC = 45

PP_VARIABLE_SUBST = 46

PP_VARIABLE_SUBST_NORM_BV_INEQ = 49

PP_VARIABLE_SUBST_NORM_DISEQ = 48

PP_VARIABLE_SUBST_NORM_EQ = 47

PREPROCESS = 38

PRODUCE_MODELS = 1

PRODUCE_UNSAT_ASSUMPTIONS = 2

PRODUCE_UNSAT_CORES = 3

PROP_CONST_BITS = 14

PROP_INFER_INEQ_BOUNDS = 15

PROP_NPROPS = 16

PROP_NUPDATES = 17

PROP_OPT_LT_CONCAT_SEXT = 18

PROP_PATH_SEL = 19

PROP_PROB_RANDOM_INPUT = 20

PROP_PROB_USE_INV_VALUE = 21

PROP_SEXT = 22

REWRITE_LEVEL = 10

SAT_SOLVER = 11

SEED = 4

TIME_LIMIT_PER = 6

VERBOSITY = 5

WRITE_AIGER = 12

WRITE_CNF = 13