我目前正在尝试在Alloy上使用Unsat核，但求解器的选择仅限于PLingeling和Sat4J。还警告我基于JNI的求解器在我的平台上不可用（请参见Alloy Solver Options Capture）。我正在将Windows 10与64位Java JDK一起使用。
如何启用具有Unsat Core的Alloy解算器？
帖子Alloy - Can't find unsat core上的评论建议我需要将本机库添加到LD_LIBRARY_PATH。但是，LD_LIBRARY_PATH是Linux概念，并且不清楚在Windows上启用JNI。 Windows 10中是否有与LD_LIBRARY_PATH等效的文件？如果没有，如何启用JNI以便将解算器与Unsat Core一起使用？
答案 0 :(得分：0)
一种解决方法是在Windows子系统（用于Linux）中运行Alloy。然后，它认为其平台是Linux，并可以访问支持Unsat Core的Minisat。 （在Debian / Ubuntu上，您可以使用apt安装minisat。）
