Q

Z3 JAVA-API設置超時錯誤

2013-11-15 65 views 1 likes

1

Context ctx = getZ3Context(); 
solver = ctx.MkSolver(); 
Params p = ctx.MkParams(); 
p.Add("soft_timeout", 1); 
solver.setParameters(p);

無論我爲「soft_timeout」設置了什麼，Z3都會在特定基準測試的10秒內停止。Z3 JAVA-API設置超時錯誤

2013-11-15 Betsy

A

回答

1

請參閱以下相關問題：

2013-11-15 02:50:26

相關問題