Z3使用C-API设置随机种子

Question

在Z3选项中，我们得到了 -

Search heuristics:
  -rd:num     random case-split frequency (default: 2).
  -rs:num     random seed.

我想知道，如果有一个C API来设置随机种子？

我使用以下API来设置超时。 随机种子有什么相似之处吗？

params = Z3_mk_params(ctx);         
Z3_params_set_uint(ctx, params, Z3_mk_string_symbol(ctx, ":timeout"),  timeout);            
Z3_solver_set_params(ctx, solver, params);

谢谢！

Answer 1

参数的名称为:random-seed。该值也是unsigned int。

话虽这么说，下一个Z3版本（v4.3.2）将更好地支持设置参数。这些改进已在http://z3.codeplex.com的unstable（正在进行中）分支中提供。