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

在Z3选项中，我们得到-

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

我想知道，是否有一个C 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);

我使用以下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);

---

谢谢

参数的名称是

：随机种子
。该值也是一个
无符号int

也就是说，下一个Z3版本（v4.3.2）将更好地支持设置参数。改进已在位于的
不稳定
（正在进行的工作）分支中可用。
参数名称为
：random seed
。该值也是一个
无符号int

也就是说，下一个Z3版本（v4.3.2）将更好地支持设置参数。这些改进已经在位于的
不稳定的
（正在进行的工作）分支中提供。
只是澄清一下，random seed是否保证每次运行z3时都会得到相同的模型？谢谢对Z3被认为是确定性的。给定一组输入参数和一个平台（例如Linux），Z3应始终产生相同的结果。如果不是这样，那么它是Z3中的一个bug，应该被修复。我们在过去修复了类似的bug。只是想澄清一下，random seed是否保证每次运行z3时都会得到相同的模型？谢谢对Z3被认为是确定性的。给定一组输入参数和一个平台（例如Linux），Z3应始终产生相同的结果。如果不是这样，那么它是Z3中的一个bug，应该被修复。我们在过去修复了类似的bug。