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 = 24

ABSTRACTION_ASSERT = 29

ABSTRACTION_ASSERT_REFS = 30

ABSTRACTION_BV_ADD = 33

ABSTRACTION_BV_MUL = 34

ABSTRACTION_BV_SIZE = 25

ABSTRACTION_BV_UDIV = 35

ABSTRACTION_BV_UREM = 36

ABSTRACTION_EAGER_REFINE = 26

ABSTRACTION_INC_BITBLAST = 32

ABSTRACTION_INITIAL_LEMMAS = 31

ABSTRACTION_ITE = 37

ABSTRACTION_VALUE_LIMIT = 27

ABSTRACTION_VALUE_ONLY = 28

BV_SOLVER = 10

DBG_CHECK_INTERPOLANT = 58

DBG_CHECK_MODEL = 59

DBG_CHECK_UNSAT_CORE = 60

DBG_PP_NODE_THRESH = 57

DBG_RW_NODE_THRESH = 56

INTERPOLANTS_ALGO = 38

INTERPOLANTS_LIFT = 39

INTERPOLANTS_PRINT_STATS = 43

INTERPOLANTS_SIMP = 41

INTERPOLANTS_STATS = 42

INTERPOLANTS_SUBST = 40

LOGLEVEL = 0

MEMORY_LIMIT = 8

NTHREADS = 9

PP_CONTRADICTING_ANDS = 45

PP_ELIM_BV_EXTRACTS = 46

PP_ELIM_BV_UDIV = 47

PP_EMBEDDED_CONSTR = 48

PP_FLATTEN_AND = 49

PP_NORMALIZE = 50

PP_SKELETON_PREPROC = 51

PP_VARIABLE_SUBST = 52

PP_VARIABLE_SUBST_NORM_BV_INEQ = 55

PP_VARIABLE_SUBST_NORM_DISEQ = 54

PP_VARIABLE_SUBST_NORM_EQ = 53

PREPROCESS = 44

PRODUCE_INTERPOLANTS = 2

PRODUCE_MODELS = 1

PRODUCE_UNSAT_ASSUMPTIONS = 3

PRODUCE_UNSAT_CORES = 4

PROP_CONST_BITS = 15

PROP_INFER_INEQ_BOUNDS = 16

PROP_NPROPS = 17

PROP_NUPDATES = 18

PROP_OPT_LT_CONCAT_SEXT = 19

PROP_PATH_SEL = 20

PROP_PROB_RANDOM_INPUT = 21

PROP_PROB_USE_INV_VALUE = 22

PROP_SEXT = 23

REWRITE_LEVEL = 11

SAT_SOLVER = 12

SEED = 5

TIME_LIMIT_PER = 7

VERBOSITY = 6

WRITE_AIGER = 13

WRITE_CNF = 14