Home
last modified time | relevance | path

Searched refs:BTOR_OPT_FUN_LAZY_SYNTHESIZE (Results 1 – 5 of 5) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/dumper/
H A Dbtordumpaig.c79 lazy_synthesize = btor_opt_get (btor, BTOR_OPT_FUN_LAZY_SYNTHESIZE); in dumpaig_dump_aux()
80 btor_opt_set (btor, BTOR_OPT_FUN_LAZY_SYNTHESIZE, 1); in dumpaig_dump_aux()
108 btor_opt_set (btor, BTOR_OPT_FUN_LAZY_SYNTHESIZE, lazy_synthesize); in dumpaig_dump_aux()
/dports/math/boolector/boolector-3.2.2/src/
H A Dbtortypes.h392 BTOR_OPT_FUN_LAZY_SYNTHESIZE, enumerator
H A Dbtoropt.c629 BTOR_OPT_FUN_LAZY_SYNTHESIZE, in btor_opt_init_opts()
H A Dbtorcore.c2504 opt_lazy_synth = btor_opt_get (btor, BTOR_OPT_FUN_LAZY_SYNTHESIZE) == 1; in btor_synthesize_exp()
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/solvers/
H A Dbtor.py80 pyboolector.BTOR_OPT_FUN_LAZY_SYNTHESIZE,