| /dports/math/z3/z3-z3-4.8.13/src/tactic/smtlogics/ |
| H A D | qfbv_tactic.cpp | 43 simp2_p.set_bool("som", true); in mk_qfbv_preamble()
44 simp2_p.set_bool("pull_cheap_ite", true); in mk_qfbv_preamble()
45 simp2_p.set_bool("push_ite_bv", false); in mk_qfbv_preamble()
46 simp2_p.set_bool("local_ctx", true); in mk_qfbv_preamble()
52 hoist_p.set_bool("hoist_mul", true); in mk_qfbv_preamble()
53 hoist_p.set_bool("som", false); in mk_qfbv_preamble()
78 p.set_bool("elim_and", true); in main_p()
79 p.set_bool("push_ite_bv", true); in main_p()
80 p.set_bool("blast_distinct", true); in main_p()
88 local_ctx_p.set_bool("local_ctx", true); in mk_qfbv_tactic()
[all …]
|
| H A D | qfnia_tactic.cpp | 37 p.set_bool("flat", false); in mk_qfnia_bv_solver()
38 p.set_bool("hi_div0", true); in mk_qfnia_bv_solver()
39 p.set_bool("elim_and", true); in mk_qfnia_bv_solver()
40 p.set_bool("blast_distinct", true); in mk_qfnia_bv_solver()
43 simp2_p.set_bool("local_ctx", true); in mk_qfnia_bv_solver()
62 pull_ite_p.set_bool("pull_cheap_ite", true); in mk_qfnia_preamble()
63 pull_ite_p.set_bool("local_ctx", true); in mk_qfnia_preamble()
89 simp_p.set_bool("hoist_mul", true); // hoist multipliers to create smaller circuits. in mk_qfnia_sat_solver()
101 simp_p.set_bool("som", true); // expand into sums of monomials in mk_qfnia_nlsat_solver()
102 simp_p.set_bool("factor", false); in mk_qfnia_nlsat_solver()
[all …]
|
| H A D | qfidl_tactic.cpp | 40 main_p.set_bool("elim_and", true); in mk_qfidl_tactic()
41 main_p.set_bool("blast_distinct", true); in mk_qfidl_tactic()
42 main_p.set_bool("som", true); in mk_qfidl_tactic()
45 lhs_p.set_bool("arith_lhs", true); in mk_qfidl_tactic()
54 pull_ite_p.set_bool("pull_cheap_ite", true); in mk_qfidl_tactic()
55 pull_ite_p.set_bool("local_ctx", true); in mk_qfidl_tactic()
74 bv_solver_p.set_bool("flat", false); in mk_qfidl_tactic()
75 bv_solver_p.set_bool("som", false); in mk_qfidl_tactic()
|
| H A D | qflia_tactic.cpp | 82 solver_p.set_bool("flat", false); in mk_bv2sat_tactic()
83 solver_p.set_bool("som", false); in mk_bv2sat_tactic()
104 bv2sat_p.set_bool("ite_extra", true); in mk_pb_tactic()
126 bv2sat_p.set_bool("ite_extra", true); in mk_lia2sat_tactic()
183 pull_ite_p.set_bool("pull_cheap_ite", true); in mk_preamble_tactic()
185 pull_ite_p.set_bool("local_ctx", true); in mk_preamble_tactic()
187 pull_ite_p.set_bool("hoist_ite", true); in mk_preamble_tactic()
205 main_p.set_bool("elim_and", true); in mk_qflia_tactic()
206 main_p.set_bool("som", true); in mk_qflia_tactic()
207 main_p.set_bool("blast_distinct", true); in mk_qflia_tactic()
[all …]
|
| H A D | qflra_tactic.cpp | 31 pivot_p.set_bool("arith.greatest_error_pivot", true); in mk_qflra_tactic()
34 main_p.set_bool("elim_and", true); in mk_qflra_tactic()
35 main_p.set_bool("som", true); in mk_qflra_tactic()
36 main_p.set_bool("blast_distinct", true); in mk_qflra_tactic()
43 lhs_p.set_bool("arith_lhs", true); in mk_qflra_tactic()
44 lhs_p.set_bool("eq2ineq", true); in mk_qflra_tactic()
47 elim_to_real_p.set_bool("elim_to_real", true); in mk_qflra_tactic()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/smtlogics/ |
| H A D | qfbv_tactic.cpp | 44 simp2_p.set_bool("som", true); in mk_qfbv_preamble()
45 simp2_p.set_bool("pull_cheap_ite", true); in mk_qfbv_preamble()
46 simp2_p.set_bool("push_ite_bv", false); in mk_qfbv_preamble()
47 simp2_p.set_bool("local_ctx", true); in mk_qfbv_preamble()
53 hoist_p.set_bool("hoist_mul", true); in mk_qfbv_preamble()
54 hoist_p.set_bool("som", false); in mk_qfbv_preamble()
79 p.set_bool("elim_and", true); in main_p()
80 p.set_bool("push_ite_bv", true); in main_p()
81 p.set_bool("blast_distinct", true); in main_p()
89 local_ctx_p.set_bool("local_ctx", true); in mk_qfbv_tactic()
[all …]
|
| H A D | qfnia_tactic.cpp | 37 p.set_bool("flat", false); in mk_qfnia_bv_solver()
38 p.set_bool("hi_div0", true); in mk_qfnia_bv_solver()
39 p.set_bool("elim_and", true); in mk_qfnia_bv_solver()
40 p.set_bool("blast_distinct", true); in mk_qfnia_bv_solver()
43 simp2_p.set_bool("local_ctx", true); in mk_qfnia_bv_solver()
62 pull_ite_p.set_bool("pull_cheap_ite", true); in mk_qfnia_preamble()
63 pull_ite_p.set_bool("local_ctx", true); in mk_qfnia_preamble()
89 simp_p.set_bool("hoist_mul", true); // hoist multipliers to create smaller circuits. in mk_qfnia_sat_solver()
101 simp_p.set_bool("som", true); // expand into sums of monomials in mk_qfnia_nlsat_solver()
102 simp_p.set_bool("factor", false); in mk_qfnia_nlsat_solver()
[all …]
|
| H A D | qfidl_tactic.cpp | 40 main_p.set_bool("elim_and", true);
41 main_p.set_bool("blast_distinct", true);
42 main_p.set_bool("som", true);
45 lhs_p.set_bool("arith_lhs", true);
54 pull_ite_p.set_bool("pull_cheap_ite", true);
55 pull_ite_p.set_bool("local_ctx", true);
74 bv_solver_p.set_bool("flat", false);
75 bv_solver_p.set_bool("som", false);
|
| H A D | qflia_tactic.cpp | 82 solver_p.set_bool("flat", false);
83 solver_p.set_bool("som", false);
104 bv2sat_p.set_bool("ite_extra", true);
126 bv2sat_p.set_bool("ite_extra", true);
183 pull_ite_p.set_bool("pull_cheap_ite", true);
185 pull_ite_p.set_bool("local_ctx", true);
187 pull_ite_p.set_bool("hoist_ite", true);
194 lhs_p.set_bool("arith_lhs", true);
213 main_p.set_bool("elim_and", true);
214 main_p.set_bool("som", true);
[all …]
|
| H A D | qflra_tactic.cpp | 31 pivot_p.set_bool("arith.greatest_error_pivot", true); in mk_qflra_tactic()
34 main_p.set_bool("elim_and", true); in mk_qflra_tactic()
35 main_p.set_bool("som", true); in mk_qflra_tactic()
36 main_p.set_bool("blast_distinct", true); in mk_qflra_tactic()
43 lhs_p.set_bool("arith_lhs", true); in mk_qflra_tactic()
44 lhs_p.set_bool("eq2ineq", true); in mk_qflra_tactic()
47 elim_to_real_p.set_bool("elim_to_real", true); in mk_qflra_tactic()
|
| /dports/math/fftw3-float/fftw-3.3.9/genfft/ |
| H A D | magic.ml | 67 let set_bool var = Arg.Unit (fun () -> var := true) function
82 "-threemult", set_bool threemult,
89 "-compact", set_bool compact,
97 "-lisp-syntax", set_bool lisp_syntax, undocumented;
108 "-generic-arith", set_bool generic_arith, undocumented;
114 "-inline-single", set_bool inline_single, undocumented;
117 "-inline-loads", set_bool inline_loads, undocumented;
139 "-reorder-insns", set_bool reorder_insns, undocumented;
146 "-newsplit", set_bool newsplit, undocumented;
148 "-vneg", set_bool vneg, undocumented;
[all …]
|
| /dports/math/fftw3/fftw-3.3.9/genfft/ |
| H A D | magic.ml | 67 let set_bool var = Arg.Unit (fun () -> var := true) function
82 "-threemult", set_bool threemult,
89 "-compact", set_bool compact,
97 "-lisp-syntax", set_bool lisp_syntax, undocumented;
108 "-generic-arith", set_bool generic_arith, undocumented;
114 "-inline-single", set_bool inline_single, undocumented;
117 "-inline-loads", set_bool inline_loads, undocumented;
139 "-reorder-insns", set_bool reorder_insns, undocumented;
146 "-newsplit", set_bool newsplit, undocumented;
148 "-vneg", set_bool vneg, undocumented;
[all …]
|
| /dports/math/fftw3-long/fftw-3.3.9/genfft/ |
| H A D | magic.ml | 67 let set_bool var = Arg.Unit (fun () -> var := true) function
82 "-threemult", set_bool threemult,
89 "-compact", set_bool compact,
97 "-lisp-syntax", set_bool lisp_syntax, undocumented;
108 "-generic-arith", set_bool generic_arith, undocumented;
114 "-inline-single", set_bool inline_single, undocumented;
117 "-inline-loads", set_bool inline_loads, undocumented;
139 "-reorder-insns", set_bool reorder_insns, undocumented;
146 "-newsplit", set_bool newsplit, undocumented;
148 "-vneg", set_bool vneg, undocumented;
[all …]
|
| /dports/math/fftw3-quad/fftw-3.3.9/genfft/ |
| H A D | magic.ml | 67 let set_bool var = Arg.Unit (fun () -> var := true) function
82 "-threemult", set_bool threemult,
89 "-compact", set_bool compact,
97 "-lisp-syntax", set_bool lisp_syntax, undocumented;
108 "-generic-arith", set_bool generic_arith, undocumented;
114 "-inline-single", set_bool inline_single, undocumented;
117 "-inline-loads", set_bool inline_loads, undocumented;
139 "-reorder-insns", set_bool reorder_insns, undocumented;
146 "-newsplit", set_bool newsplit, undocumented;
148 "-vneg", set_bool vneg, undocumented;
[all …]
|
| /dports/mail/thunderbird/thunderbird-91.8.0/comm/third_party/rnp/src/rnp/ |
| H A D | rnp.cpp | 260 cfg.set_bool(CFG_ENCRYPT_PK, true); in setcmd()
274 cfg.set_bool(CFG_CLEARTEXT, true); in setcmd()
291 cfg.set_bool(CFG_NO_OUTPUT, true); in setcmd()
363 cfg.set_bool(CFG_COREDUMPS, true); in setoption()
387 cfg.set_bool(CFG_ARMOR, true); in setoption()
390 cfg.set_bool(CFG_DETACHED, true); in setoption()
530 cfg.set_bool(CFG_JSON, true); in setoption()
533 cfg.set_bool(CFG_GRIPS, true); in setoption()
536 cfg.set_bool(CFG_MPIS, true); in setoption()
539 cfg.set_bool(CFG_RAW, true); in setoption()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/sls/ |
| H A D | sls_tactic.cpp | 100 main_p.set_bool("elim_and", true); in mk_preamble()
102 main_p.set_bool("push_ite_bv", true); in mk_preamble()
103 main_p.set_bool("blast_distinct", true); in mk_preamble()
104 main_p.set_bool("hi_div0", true); in mk_preamble()
107 simp2_p.set_bool("som", true); in mk_preamble()
108 simp2_p.set_bool("pull_cheap_ite", true); in mk_preamble()
109 simp2_p.set_bool("push_ite_bv", false); in mk_preamble()
110 simp2_p.set_bool("local_ctx", true); in mk_preamble()
114 hoist_p.set_bool("hoist_mul", true); in mk_preamble()
115 hoist_p.set_bool("som", false); in mk_preamble()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/sls/ |
| H A D | sls_tactic.cpp | 100 main_p.set_bool("elim_and", true); in mk_preamble()
102 main_p.set_bool("push_ite_bv", true); in mk_preamble()
103 main_p.set_bool("blast_distinct", true); in mk_preamble()
104 main_p.set_bool("hi_div0", true); in mk_preamble()
107 simp2_p.set_bool("som", true); in mk_preamble()
108 simp2_p.set_bool("pull_cheap_ite", true); in mk_preamble()
109 simp2_p.set_bool("push_ite_bv", false); in mk_preamble()
110 simp2_p.set_bool("local_ctx", true); in mk_preamble()
114 hoist_p.set_bool("hoist_mul", true); in mk_preamble()
115 hoist_p.set_bool("som", false); in mk_preamble()
|
| /dports/math/z3/z3-z3-4.8.13/src/params/ |
| H A D | context_params.cpp | 70 set_bool(m_well_sorted_check, param, value); in set()
73 set_bool(m_auto_config, param, value); in set()
76 set_bool(m_proof, param, value); in set()
79 set_bool(m_model, param, value); in set()
82 set_bool(m_model_validate, param, value); in set()
85 set_bool(m_dump_models, param, value); in set()
88 set_bool(m_statistics, param, value); in set()
91 set_bool(m_trace, param, value); in set()
101 set_bool(m_unsat_core, param, value); in set()
104 set_bool(m_debug_ref_count, param, value); in set()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/params/ |
| H A D | context_params.cpp | 78 set_bool(m_well_sorted_check, param, value); in set()
81 set_bool(m_auto_config, param, value); in set()
84 set_bool(m_proof, param, value); in set()
87 set_bool(m_model, param, value); in set()
90 set_bool(m_model_validate, param, value); in set()
93 set_bool(m_dump_models, param, value); in set()
96 set_bool(m_statistics, param, value); in set()
99 set_bool(m_trace, param, value); in set()
109 set_bool(m_unsat_core, param, value); in set()
112 set_bool(m_debug_ref_count, param, value); in set()
[all …]
|
| /dports/security/rnp/rnp-0.15.2/src/rnp/ |
| H A D | rnp.cpp | 275 cfg.set_bool(CFG_ENCRYPT_PK, true); in setcmd()
289 cfg.set_bool(CFG_CLEARTEXT, true); in setcmd()
306 cfg.set_bool(CFG_NO_OUTPUT, true); in setcmd()
375 cfg.set_bool(CFG_COREDUMPS, true); in setoption()
399 cfg.set_bool(CFG_ARMOR, true); in setoption()
402 cfg.set_bool(CFG_DETACHED, true); in setoption()
538 cfg.set_bool(CFG_OVERWRITE, true); in setoption()
541 cfg.set_bool(CFG_JSON, true); in setoption()
544 cfg.set_bool(CFG_GRIPS, true); in setoption()
547 cfg.set_bool(CFG_MPIS, true); in setoption()
[all …]
|
| /dports/net-p2p/libtorrent-rasterbar/libtorrent-rasterbar-1.2.14/test/ |
| H A D | test_utp.cpp | 74 pack.set_bool(settings_pack::enable_lsd, false); in test_transfer()
75 pack.set_bool(settings_pack::enable_natpmp, false); in test_transfer()
76 pack.set_bool(settings_pack::enable_upnp, false); in test_transfer()
77 pack.set_bool(settings_pack::enable_dht, false); in test_transfer()
80 pack.set_bool(settings_pack::enable_outgoing_tcp, false); in test_transfer()
81 pack.set_bool(settings_pack::enable_incoming_tcp, false); in test_transfer()
82 pack.set_bool(settings_pack::announce_to_all_trackers, true); in test_transfer()
83 pack.set_bool(settings_pack::announce_to_all_tiers, true); in test_transfer()
84 pack.set_bool(settings_pack::prefer_udp_trackers, false); in test_transfer()
|
| H A D | settings.cpp | 62 pack.set_bool(settings_pack::enable_lsd, false); in settings()
63 pack.set_bool(settings_pack::enable_natpmp, false); in settings()
64 pack.set_bool(settings_pack::enable_upnp, false); in settings()
65 pack.set_bool(settings_pack::enable_dht, false); in settings()
68 pack.set_bool(settings_pack::prefer_rc4, false); in settings()
73 pack.set_bool(settings_pack::rate_limit_utp, true); in settings()
79 pack.set_bool(settings_pack::allow_multiple_connections_per_ip, true); in settings()
|
| H A D | test_transfer.cpp | 158 pack.set_bool(settings_pack::enable_upnp, false);
159 pack.set_bool(settings_pack::enable_natpmp, false);
160 pack.set_bool(settings_pack::enable_lsd, false);
161 pack.set_bool(settings_pack::enable_dht, false);
163 pack.set_bool(settings_pack::rate_limit_utp, true);
208 pack.set_bool(settings_pack::enable_lsd, false);
210 pack.set_bool(settings_pack::enable_upnp, false);
211 pack.set_bool(settings_pack::enable_dht, false);
481 p.set_bool(settings_pack::coalesce_reads, true); in TORRENT_TEST()
492 p.set_bool(settings_pack::coalesce_writes, true); in TORRENT_TEST()
[all …]
|
| /dports/net-p2p/py-libtorrent-rasterbar/libtorrent-1.2.13/test/ |
| H A D | test_utp.cpp | 74 pack.set_bool(settings_pack::enable_lsd, false); in test_transfer()
75 pack.set_bool(settings_pack::enable_natpmp, false); in test_transfer()
76 pack.set_bool(settings_pack::enable_upnp, false); in test_transfer()
77 pack.set_bool(settings_pack::enable_dht, false); in test_transfer()
80 pack.set_bool(settings_pack::enable_outgoing_tcp, false); in test_transfer()
81 pack.set_bool(settings_pack::enable_incoming_tcp, false); in test_transfer()
82 pack.set_bool(settings_pack::announce_to_all_trackers, true); in test_transfer()
83 pack.set_bool(settings_pack::announce_to_all_tiers, true); in test_transfer()
84 pack.set_bool(settings_pack::prefer_udp_trackers, false); in test_transfer()
|
| H A D | settings.cpp | 62 pack.set_bool(settings_pack::enable_lsd, false); in settings()
63 pack.set_bool(settings_pack::enable_natpmp, false); in settings()
64 pack.set_bool(settings_pack::enable_upnp, false); in settings()
65 pack.set_bool(settings_pack::enable_dht, false); in settings()
68 pack.set_bool(settings_pack::prefer_rc4, false); in settings()
73 pack.set_bool(settings_pack::rate_limit_utp, true); in settings()
79 pack.set_bool(settings_pack::allow_multiple_connections_per_ip, true); in settings()
|