def set_params(self, solver):
"""Set Search Parameters.
Yices makes a distinction between configuratin and search
parameters. The first are fixed for the lifetime of a
context, while the latter can be different for every call to
check_context.
A list of available parameters is available at:
http://yices.csl.sri.com/doc/parameters.html
"""
params = yicespy.yices_new_param_record()
yicespy.yices_default_params_for_context(solver.yices, params)
for k, v in self.solver_options.items():
rv = yicespy.yices_set_param(params, k, v)
if rv != 0:
raise ValueError("Error setting the option '%s=%s'" % (k, v))
solver.yices_params = params
def set_params(self, solver):
"""Set Search Parameters.
Yices makes a distinction between configuratin and search
parameters. The first are fixed for the lifetime of a
context, while the latter can be different for every call to
check_context.
A list of available parameters is available at:
http://yices.csl.sri.com/doc/parameters.html
"""
params = yicespy.yices_new_param_record()
yicespy.yices_default_params_for_context(solver.yices, params)
for k,v in self.solver_options.items():
rv = yicespy.yices_set_param(params, k, v)
if rv != 0:
raise PysmtValueError("Error setting the option '%s=%s'" % (k,v))
solver.yices_params = params