合金-如何启用Unsat核心求解器？
合金-如何启用Unsat核心求解器？
提问于 2018-07-10 04:31:00
我目前正在尝试使用合金上的未饱和核心，但我的解算器的选择仅限于PLingeling和Sat4J。我还得到了一个警告，基于JNI的求解器在我的平台上不可用(请参阅Alloy Solver Options Capture)。我使用的是Windows 10和64位Java JDK。
如何启用具有Unsat的合金求解器？
帖子Alloy - Can't find unsat core上的评论建议我需要在LD_LIBRARY_PATH中添加本机库。然而，LD_LIBRARY_PATH是一个Linux概念，在Windows上启用JNI还不是很清楚。在Windows10中有没有等同于LD_LIBRARY_PATH的东西？如果没有，我如何启用JNI才能使用带有Unsat的求解器？
回答 1
Stack Overflow用户
发布于 2020-05-06 05:06:17
一种解决方法是在Linux的Windows子系统中运行Alloy。然后，它认为它的平台是Linux，并提供对例如支持Unsat的Minisat的访问。(在Debian/Ubuntu上，您可以使用apt安装minisat。)
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/51253564
复制相关文章
相似问题
腾讯云开发者
