z3战术无法通过在线界面使用

我用Z3打印战术列表

for (int i=0;i < Z3_get_num_tactics(z3_cont);i++)
    cout<<"\n"<<Z3_get_tactic_name(z3_cont,i);

for（inti=0；icout有一个关于如何使用战术的完整的在线教程。
它包含指向文件的指针，包括：
莱昂纳多·德莫拉和格兰特·帕斯莫尔。SMT解决中的战略挑战，人工智能课堂讲稿第7788卷。斯普林格，2013年。它解释了基本组合符（fail、skip和then等）的用法。
可以从

为了获得每种战术的最详细信息，
有公开的Z3源代码。
有一个关于如何使用战术的完整在线教程。
它包含指向文件的指针，包括：
莱昂纳多·德莫拉和格兰特·帕斯莫尔。SMT解决中的战略挑战，人工智能课堂讲稿第7788卷。斯普林格，2013年。它解释了基本组合符（fail、skip和then等）的用法。
可以从

为了获得每种战术的最详细信息，
Z3源代码可从公开获取。
感谢您的链接！但我还没有在网上界面上找到关于哪些战术可用的信息。谢谢你的链接！但我还没有在在线界面上找到关于哪些战术可用的信息。