Z3 支持HORN的预编译版本？_Z3

Z3 支持HORN的预编译版本？

Z3 支持HORN的预编译版本？,z3,Z3,我从前面的讨论中看到，稳定版本不支持（set logic HORN）。是否有支持它的预编译版本可供下载？Z3的“不稳定”分支有夜间版本，它包括HORN支持。转到z3.codeplex.com并选择下载，然后在可执行文件对话框中选择“计划” 有几种发动机存在喇叭问题。特别是，您还可以尝试使用“fixedpoint.engine=Duality”选项启用对偶引擎

我从前面的讨论中看到，稳定版本不支持（set logic HORN）。是否有支持它的预编译版本可供下载？

Z3的“不稳定”分支有夜间版本，它包括HORN支持。转到z3.codeplex.com并选择下载，然后在可执行文件对话框中选择“计划”

有几种发动机存在喇叭问题。特别是，您还可以尝试使用“fixedpoint.engine=Duality”选项启用对偶引擎