Searched refs:BTOR_OPT_SLS_STRATEGY (Results 1 – 4 of 4) sorted by relevance
| /dports/math/boolector/boolector-3.2.2/src/ |
| H A D | btortypes.h | 454 BTOR_OPT_SLS_STRATEGY, enumerator
|
| H A D | btorslvsls.c | 446 sls_strat = btor_opt_get (btor, BTOR_OPT_SLS_STRATEGY); in select_inc_dec_not_move()
513 sls_strat = btor_opt_get (btor, BTOR_OPT_SLS_STRATEGY); in select_flip_move()
578 sls_strat = btor_opt_get (btor, BTOR_OPT_SLS_STRATEGY); in select_flip_range_move()
659 sls_strat = btor_opt_get (btor, BTOR_OPT_SLS_STRATEGY); in select_flip_segment_move()
747 sls_strat = btor_opt_get (btor, BTOR_OPT_SLS_STRATEGY); in select_rand_range_move()
916 if (btor_opt_get (btor, BTOR_OPT_SLS_STRATEGY) == BTOR_SLS_STRAT_RAND_WALK) in select_move()
1156 if (btor_opt_get (btor, BTOR_OPT_SLS_STRATEGY) == BTOR_SLS_STRAT_ALWAYS_PROP in move()
|
| H A D | btoropt.c | 705 BTOR_OPT_SLS_STRATEGY, in btor_opt_init_opts()
745 btor->options[BTOR_OPT_SLS_STRATEGY].options = opts; in btor_opt_init_opts()
|
| /dports/math/py-pysmt/pysmt-0.9.0/pysmt/solvers/ |
| H A D | btor.py | 84 pyboolector.BTOR_OPT_SLS_STRATEGY,
|