z3/src/solver/solver_params.pyg

def_module_params('solver', 
                  description='solver parameters',
                  export=True,
                  params=(('enforce_model_conversion', BOOL, False, "apply model transformation on new assertions"),
                          ('smtlib2_log', SYMBOL, '', "file to save solver interaction"),
                          ('cancel_backup_file', SYMBOL, '', "file to save partial search state if search is canceled"),
                          ('timeout', UINT, UINT_MAX, "timeout on the solver object; overwrites a global timeout"),
                          ))