Searched refs:BTOR_SAT_ENGINE_CADICAL (Results 1 – 6 of 6) sorted by relevance
68 #define BTOR_SAT_ENGINE_DFLT BTOR_SAT_ENGINE_CADICAL
878 BTOR_SAT_ENGINE_CADICAL, enumerator
27 [BTOR_SAT_ENGINE_CADICAL] = "CaDiCaL",320 BTOR_SAT_ENGINE_CADICAL, in btor_opt_init_opts()1644 || val == BTOR_SAT_ENGINE_CADICAL in btor_opt_set()
310 case BTOR_SAT_ENGINE_CADICAL: btor_sat_enable_cadical (smgr); break; in btor_sat_enable_solver()
712 || sat_engine == BTOR_SAT_ENGINE_CADICAL in boolector_set_sat_solver()802 || val == BTOR_SAT_ENGINE_CADICAL in boolector_set_opt()
2755 if (btoropt->val == BTOR_SAT_ENGINE_CADICAL) in btormbt_state_opt()