为什么我的Alloy */Alloy工具中没有诸如MiniSat，带Unsat Core的MiniSat，Lingeling，葡萄糖之类的求解器选项? [英] Why do solver options like MiniSat, MiniSat with Unsat Core, Lingeling, Glucose do not appear in my Alloy*/Alloy tool?

问题描述

在我从以下位置下载的工具中: http://alloy.mit.edu/alloy/hola/

In the tool I downloaded from: http://alloy.mit.edu/alloy/hola/

出现的求解器的唯一选项是SAT4J和PLingeling.为什么其他选项也没有出现?我正在使用Windows并通过双击文件hola-0.2.jar来执行该工具.

the only options of solvers that appear are SAT4J and PLingeling. Why do the other options not also appear? I am using Windows and executing the tool by double clicking the file hola-0.2.jar...

从以下位置下载的Alloy工具也会发生相同的错误: http://alloy.mit.edu/alloy/download.html

The same error occurs with the Alloy Tool downloaded from: http://alloy.mit.edu/alloy/download.html

但是，当我在Windows 7中运行它时，将出现求解器选项，例如miniSAT，带有Unsat Core的miniSAT，ZChaff！可用的求解器选项取决于操作系统?

However, when i run it in windows 7, solver options such as miniSAT, miniSAT with Unsat Core, ZChaff appear! The solver options available depend on the operational system?

推荐答案

minisat之类的解决方案都不基于Java.因此，Alloy Analyzer随每个常用的操作系统一起提供了这些求解器的本机版本. 如果使用存档器打开.jar，则将能够看到四个文件夹:x86-windows，x86-mac，x86-linux和x86-freebsd，每个文件夹都包含与这些求解器有关的特定于操作系统的可执行文件.

Solvers like minisat are not java based. Hence the Alloy Analyzer comes with a native version of those solvers for each commonly used operating system. If you open the .jar with an archiver, you will be able to see four folders : x86-windows, x86-mac, x86-linux and x86-freebsd each containing OS-specific executables related to those solvers.

在您的问题中，您说在Windows上使用这些求解器时遇到问题，但是说在Windows 7上一切正常. 因此，我可以假定Windows是Windows OS的最新版本，即Windows 10吗?

In your question, you say having problems using those solvers on Windows but say however that everything works fine on Windows 7. Can I thus assume that by Windows, you mean the latest version of the Windows OS, that is Windows 10 ?

我不熟悉它，但可能是x86_windows文件夹中存在的那些.dll在Windows 10上无法按预期工作的情况.

I'm unfamiliar with it, but it might be the case that those .dll present in the x86_windows folder are simply not working as expected on Windows 10.

这篇关于为什么我的Alloy */Alloy工具中没有诸如MiniSat，带Unsat Core的MiniSat，Lingeling，葡萄糖之类的求解器选项?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！