Home
last modified time | relevance | path

Searched refs:BTOR_SAT_ENGINE_CADICAL (Results 1 – 6 of 6) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtoropt.h68 #define BTOR_SAT_ENGINE_DFLT BTOR_SAT_ENGINE_CADICAL
H A Dbtortypes.h878 BTOR_SAT_ENGINE_CADICAL, enumerator
H A Dbtoropt.c27 [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()
H A Dbtorsat.c310 case BTOR_SAT_ENGINE_CADICAL: btor_sat_enable_cadical (smgr); break; in btor_sat_enable_solver()
H A Dboolector.c712 || sat_engine == BTOR_SAT_ENGINE_CADICAL in boolector_set_sat_solver()
802 || val == BTOR_SAT_ENGINE_CADICAL in boolector_set_opt()
H A Dbtormbt.c2755 if (btoropt->val == BTOR_SAT_ENGINE_CADICAL) in btormbt_state_opt()