Searched refs:BTOR_OPT_PRINT_DIMACS (Results 1 – 10 of 10) sorted by relevance
/dports/math/boolector/boolector-3.2.2/src/ |
H A D | btorchkfailed.c | 74 btor_opt_set (clone, BTOR_OPT_PRINT_DIMACS, 0); in btor_check_failed_assumptions()
|
H A D | btortypes.h | 420 BTOR_OPT_PRINT_DIMACS, enumerator
|
H A D | btorchkmodel.c | 289 btor_opt_set (ctx->clone, BTOR_OPT_PRINT_DIMACS, 0); in btor_check_model_init()
|
H A D | btorsat.c | 324 if (btor_opt_get (smgr->btor, BTOR_OPT_PRINT_DIMACS)) in btor_sat_enable_solver()
|
H A D | btoropt.c | 682 BTOR_OPT_PRINT_DIMACS, in btor_opt_init_opts()
|
H A D | btormain.c | 1547 || boolector_get_opt (btor, BTOR_OPT_PRINT_DIMACS)); in boolector_main()
|
H A D | btorslvfun.c | 2530 || btor_opt_get (btor, BTOR_OPT_PRINT_DIMACS)); in sat_fun_solver()
|
H A D | btorcore.c | 2917 && !btor_opt_get (btor, BTOR_OPT_PRINT_DIMACS)) in btor_check_sat()
|
/dports/math/boolector/boolector-3.2.2/ |
H A D | NEWS | 25 BTOR_OPT_PRINT_DIMACS)
|
/dports/math/boolector/boolector-3.2.2/src/parser/ |
H A D | btorsmt2.c | 4526 else if (!boolector_get_opt (parser->btor, BTOR_OPT_PRINT_DIMACS)) in check_sat()
|