我打印Z3中的战术列表。
for (int i=0;i < Z3_get_num_tactics(z3_cont);i++)
cout<<"\n"<<Z3_get_tactic_name(z3_cont,i);
另外，我发现并非所有这些都可以通过在线界面使用。问题是：我在哪里可以找到关于它们的文档（可能是一些文件）？哪些在线界面可用？
答案 0 :(得分：1)
在http://rise4fun.com/z3py上有一个关于使用战术的完整在线教程。 它包含指向论文的指针，包括： 莱昂纳多德莫拉和格兰特帕斯莫尔。 SMT解决方案中的战略挑战，人工智能讲义第7788卷。 Springer，2013。它解释了基本组合器的使用（失败，跳过，然后等）。 它可以从 http://research.microsoft.com/en-us/um/people/leonardo/publications/index.html
要获得有关每种策略的最详细信息， Z3源代码可从http://z3.codeplex.com公开获得。