z3 - 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.comunstable的(work-in-progress) 分支中可用。