C API 是否比 z3 的标准输入 SMTLIB2 问题更多？
Are C API more problematic than standard inputs SMTLIB2 for z3?
我是 z3 的新手。我想知道这两个输入之间有什么区别，C API 比 z3 的标准输入 SMTLIB2 问题更多吗？如果您能回答我将不胜感激_(:з」∠)_
我不确定你所说的“有问题”是什么意思。如果您想将 z3 集成到基于 C/C++ 的框架中，您可以使用 C-API。如果你想要一种被许多求解器理解的通用语言，而不仅仅是 z3，你会使用 SMTLib。所以，这真的取决于你的目标是什么。
如果您只是尝试使用它，我建议您使用 Python 等高级语言的界面，因为它更容易上手。 SMTLib 通常不供人类使用，而是由其他程序生成。如果您有其他要求要求您留在 C/C++，请仅使用 C/C++ API。
长话短说，这真的取决于你的目标是什么；如果您告诉我们更多关于您的用例是什么，我们可以推荐更具体的东西。
我是 z3 的新手。我想知道这两个输入之间有什么区别，C API 比 z3 的标准输入 SMTLIB2 问题更多吗？如果您能回答我将不胜感激_(:з」∠)_
我不确定你所说的“有问题”是什么意思。如果您想将 z3 集成到基于 C/C++ 的框架中，您可以使用 C-API。如果你想要一种被许多求解器理解的通用语言，而不仅仅是 z3，你会使用 SMTLib。所以，这真的取决于你的目标是什么。
如果您只是尝试使用它，我建议您使用 Python 等高级语言的界面，因为它更容易上手。 SMTLib 通常不供人类使用，而是由其他程序生成。如果您有其他要求要求您留在 C/C++，请仅使用 C/C++ API。
长话短说，这真的取决于你的目标是什么；如果您告诉我们更多关于您的用例是什么，我们可以推荐更具体的东西。