Home
last modified time | relevance | path

Searched refs:BTOR_OPT_PRINT_DIMACS (Results 1 – 10 of 10) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtorchkfailed.c74 btor_opt_set (clone, BTOR_OPT_PRINT_DIMACS, 0); in btor_check_failed_assumptions()
H A Dbtortypes.h420 BTOR_OPT_PRINT_DIMACS, enumerator
H A Dbtorchkmodel.c289 btor_opt_set (ctx->clone, BTOR_OPT_PRINT_DIMACS, 0); in btor_check_model_init()
H A Dbtorsat.c324 if (btor_opt_get (smgr->btor, BTOR_OPT_PRINT_DIMACS)) in btor_sat_enable_solver()
H A Dbtoropt.c682 BTOR_OPT_PRINT_DIMACS, in btor_opt_init_opts()
H A Dbtormain.c1547 || boolector_get_opt (btor, BTOR_OPT_PRINT_DIMACS)); in boolector_main()
H A Dbtorslvfun.c2530 || btor_opt_get (btor, BTOR_OPT_PRINT_DIMACS)); in sat_fun_solver()
H A Dbtorcore.c2917 && !btor_opt_get (btor, BTOR_OPT_PRINT_DIMACS)) in btor_check_sat()
/dports/math/boolector/boolector-3.2.2/
H A DNEWS25 BTOR_OPT_PRINT_DIMACS)
/dports/math/boolector/boolector-3.2.2/src/parser/
H A Dbtorsmt2.c4526 else if (!boolector_get_opt (parser->btor, BTOR_OPT_PRINT_DIMACS)) in check_sat()