我目前正在尝试在Alloy上使用不饱和核心，但我的解算器选项仅限于PLingeling和Sat4J。我还收到一个警告，基于JNI的解算器在我的平台上不可用(请参阅合金解算器选项捕获(。我使用的是带有64位Java JDK的Windows 10。
如何启用具有不饱和核心的合金解算器？
关于Alloy-Can'；t find unsat core建议我需要将本机库添加到LD_library_PATH中。然而，LD_LIBRARY_PATH是一个Linux概念，它使在Windows上启用JNI变得不清楚。在Windows 10中是否有等效的LD_LIBRARY_PATH？如果没有，我如何启用JNI以便使用具有不饱和核心的求解器？
解决方法是在Linux的Windows子系统中运行Alloy。然后，它认为自己的平台是Linux，并允许访问例如支持Unsat Core的Minisat。(在Debian/Ubuuntu上，你可以用apt安装minisat。(