Alloy-如何启用Unsat Core求解器？

Question

我目前正试图在Alloy上使用Unsat Core，但我的求解器选择仅限于PLingeling和Sat4J。我也得到一个警告，基于JNI的求解器在我的平台上不可用(参见 合金解算器选项捕捉). 我使用的是Windows 10和64位Java JDK。

我如何使用Unsat Core启用Alloy求解器？

帖子上的评论 合金 - 找不到不饱和芯 建议我需要将本地库添加到 LD_LIBRARY_PATH。然而，LD_LIBRARY_PATH是一个Linux的概念，这使得在Windows上启用JNI不清楚。在Windows 10中是否有与LD_LIBRARY_PATH相当的概念？如果没有，我如何启用JNI以使用Unsat Core的求解器？

Answer 1

一个变通的办法是在Linux的Windows子系统里面运行Alloy。它就会认为自己的平台是Linux，并给出访问，例如，支持Unsat Core的Minisat。在DebianUbuntu上，你可以用apt.安装minisat）。