我正在尝试在笔记本电脑上安装dafny，该笔记本电脑将openSUSE jump 15.0作为操作系统运行。由于https://github.com/Microsoft/dafny/releases
上没有openSUSE版本我希望dafny-2.1.1.10209-x64-ubuntu-14.04.zip
可能会解决问题。但是，事实并非如此。
当我运行单声道path/Dafny.exe example.dfy时，我得到提示Dafny 2.1.1.10209
但是黑色的窗口。
mono --trace显示程序在没有警告的情况下停止在中间位置。
这是否意味着我的操作系统不走运，还是有成功的方法？
任何帮助表示赞赏