Home
last modified time | relevance | path

Searched defs:smt_params (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/smt/params/
H A Dsmt_params.h88 bool m_check_proof;
95 double m_inv_decay;
104 unsigned m_cube_depth;
105 unsigned m_threads;
109 unsigned m_tick;
112 bool m_ematching;
113 bool m_induction;
177 symbol m_logic;
193 bool m_model;
240 smt_params(params_ref const & p = params_ref()): argument
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/params/
H A Dsmt_params.h88 bool m_check_proof;
95 double m_inv_decay;
104 unsigned m_cube_depth;
105 unsigned m_threads;
109 unsigned m_tick;
112 bool m_ematching;
113 bool m_induction;
177 symbol m_logic;
193 bool m_model;
240 smt_params(params_ref const & p = params_ref()): argument
[all …]
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_parallel.cpp63 vector<smt_params> smt_params; in operator ()() local
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_parallel.cpp63 vector<smt_params> smt_params; in operator ()() local