我在 Andrew Reynolds 和合著者“SMT 中递归函数的模型查找”的论文中找到了以下信息
“如果启用了 CVC4 的递归函数的有限模型查找模式（使用命令行选项 --fmf-fun）”
但是我已经安装了当前版本的 CVC4，--fmf-fun 在 CVC4 中不可用？你能指导我吗？
问问题
123 次
1 回答
2
选项 --fmf-fun 在最新的稳定版本 (1.4) 中不可用，但在最新的开发版本中可用。
您可以在http://cvc4.cs.nyu.edu/downloads/（在页面右侧）下载 CVC4 的最新开发版本。
于 2016-04-06T19:04:49.857 回答