我在Windows 10上使用Minizinc IDE(最新版本)。我已经使用了一段时间,一切都很好。突然,当我想打开Minizinc IDE时,它在任务栏中显示它已打开,但IDE窗口没有出现!当我将鼠标悬停在任务栏中的图标上时,它会显示一个白色矩形!我等了一个小时,没有任何变化,重新启动了我的电脑,卸载了 Minizinc 软件,然后重新安装了它,但这些都没有帮助!有什么建议吗?
他们可能是您的搜索路径有问题。或者某些动态链接库(DLL)可能丢失或隐藏。
您可以尝试像 https://github.com/lucasg/Dependencies 这样的依赖项检查器来查找并解决问题。
从文件“
...\MiniZinc\MiniZincIDE.exe
”开始
以下是我的 Windows 10 PC 上列出的依赖项: