在我从以下网站下载的工具中： http://alloy.mit.edu/alloy/hola/
出现的唯一解算器选项是SAT4J和PLingeling。为什么其他选项也不会出现？我正在使用Windows并通过双击文件hola-0.2.jar来执行该工具...
从下载的Alloy Tool发生同样的错误： http://alloy.mit.edu/alloy/download.html
但是，当我在Windows 7中运行时，会出现解决方案选项，如miniSAT，带有Unsat Core的迷你主题，ZChaff！可用的求解器选项取决于操作系统？
答案 0 :(得分：2)
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.
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 ?
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.
答案 1 :(得分：1)
您使用的是哪个Java版本（32位或64位）？
alloy download page包含一个jar文件，其中包含x86_windows的本机库/解算器，即工作在Java 32位但不是Java 64位的库。考虑到Alloy使用JNI和这些库来运行求解器，您必须使用适当的Java版本来使用求解器。
Alloy jar文件包括适用于Windows，Mac和FreeBSD的32位本机库，以及适用于Linux的32位和64位库。