在Windows上使用合金电极/nuXmv溶液器？

Question

我已经安装了nuXmv并将其添加到窗口上的路径中，但是在任何地方都没有看到将其添加到windows上的选项->solvers菜单的说明。

Answer 1

在Linux上，当我将nuXmv的bin文件夹添加到path并重新启动合金时，它就出现在可用的解决程序列表中。