Z3 C API parameters of Z3_config and Z3_solver

Nov 20, 2013 at 8:14 PM
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.
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 SMT-LIB logic (Z3_mk_solver_for_logic) or they create a solver that applies a tactic (Z3_mk_solver_from_tactic) which was previously constructed.