
Could someone please tell me where can I find all information about parameters of Z3_config?
If anyone has used Z3_solver, where can I find specific information about the solver? For example the solvers created from those Z3_mk_simple_solver, Z3_mk_solver_for_logic and Z3_mk_solver_from_tactic
Besides, where can I find the information of the parameter for Z3_solver.
Thanks in advanced.


Coordinator
Dec 16, 2013 at 12:39 PM

See also this question here:
link.
Z3_config takes global options and can also take module options, a list of them can be obtained by running z3.exe p
More detail for a particular option can be obtained by running z3.exe pp:name
The different versions of Z3_mk_solver functions construct solver objects either for general problems (Z3_mk_solver) or a solver for a specific SMTLIB logic (Z3_mk_solver_for_logic) or they create a solver that applies a tactic (Z3_mk_solver_from_tactic) which
was previously constructed.

