标签： z3
我有一个问题，我希望能够选择一个（并且只有一个）许多变量。我相信这可以通过使用＆＃34; PBEq＆＃34;功能。但是当我使用.Net API for Z3时，我没有在这个API中找到这个功能。有人可以帮助我吗？