C# 在Z3.NETAPI中设置逻辑_C#_Z3

C# 在Z3.NETAPI中设置逻辑

c# z3

C# 在Z3.NETAPI中设置逻辑,c#,z3,C#,Z3,在使用.NET API函数时，如何使用set逻辑？在使用Z3 3.1版时，如何使用parseSmtlib2String（字符串）我总是以Z3Error异常结束在这种情况下不需要吗？不幸的是，在使用APIparseSmtlib2String时，不支持命令（设置逻辑）由于技术原因，我们有这个限制。在文本界面中，只能在初始化上下文之前使用命令set logic。根据所选逻辑初始化上下文。使用APIparseSmtlib2String时，上下文已由用户初始化。因此，命令set logic失败，并

在使用.NET API函数时，如何使用set逻辑？在使用Z3 3.1版时，如何使用parseSmtlib2String（字符串）

我总是以Z3Error异常结束

在这种情况下不需要吗？

不幸的是，在使用API

parseSmtlib2String

时，不支持命令

（设置逻辑）

由于技术原因，我们有这个限制。在文本界面中，只能在初始化上下文之前使用命令

set logic

。根据所选逻辑初始化上下文。使用API

parseSmtlib2String

时，上下文已由用户初始化。因此，命令

set logic

失败，并生成解析错误

我承认这不是理想的行为。我将研究替代方案。