Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
pyboolector.BTOR_OPT_REWRITE_LEVEL,
pyboolector.BTOR_OPT_SKELETON_PREPROC,
pyboolector.BTOR_OPT_ACKERMANN,
pyboolector.BTOR_OPT_BETA_REDUCE_ALL,
pyboolector.BTOR_OPT_ELIMINATE_SLICES,
pyboolector.BTOR_OPT_VAR_SUBST,
pyboolector.BTOR_OPT_UCOPT,
pyboolector.BTOR_OPT_MERGE_LAMBDAS,
pyboolector.BTOR_OPT_EXTRACT_LAMBDAS,
pyboolector.BTOR_OPT_NORMALIZE_ADD,
pyboolector.BTOR_OPT_FUN_PREPROP,
pyboolector.BTOR_OPT_FUN_PRESLS,
pyboolector.BTOR_OPT_FUN_DUAL_PROP,
pyboolector.BTOR_OPT_FUN_DUAL_PROP_QSORT,
pyboolector.BTOR_OPT_FUN_JUST,
pyboolector.BTOR_OPT_FUN_JUST_HEURISTIC,
pyboolector.BTOR_OPT_FUN_LAZY_SYNTHESIZE,
pyboolector.BTOR_OPT_FUN_EAGER_LEMMAS,
pyboolector.BTOR_OPT_SLS_NFLIPS,
pyboolector.BTOR_OPT_SLS_STRATEGY,
pyboolector.BTOR_OPT_SLS_JUST,
pyboolector.BTOR_OPT_SLS_MOVE_GW,
pyboolector.BTOR_OPT_SLS_MOVE_RANGE,
pyboolector.BTOR_OPT_SLS_MOVE_SEGMENT,
pyboolector.BTOR_OPT_SLS_MOVE_RAND_WALK,
pyboolector.BTOR_OPT_SLS_PROB_MOVE_RAND_WALK,
pyboolector.BTOR_OPT_SLS_MOVE_RAND_ALL,
pyboolector.BTOR_OPT_SLS_MOVE_RAND_RANGE,
pyboolector.BTOR_OPT_SLS_MOVE_PROP,
pyboolector.BTOR_OPT_SLS_MOVE_PROP_N_PROP,
pyboolector.BTOR_OPT_SLS_MOVE_PROP_N_SLS,
pyboolector.BTOR_OPT_SLS_MOVE_PROP_FORCE_RW,