Я пытаюсь установить dafny на свой ноутбук, который запускает openSUSE leap 15.0 как ОС. Поскольку нет версии openSUSE на https://github.com/Microsoft/dafny/releases
Я надеялся, что dafny-2.1.1.10209-x64-ubuntu-14.04.zip
может сделать свое дело. Но это не так.
Когда я запускаю моно path/Dafny.exe example.dfy, я получаю приглашение Dafny 2.1.1.10209
но в остальном чёрное окно.
mono --trace показывает, что программы останавливаются где-то посередине без предупреждения.
Значит ли это, что мне не повезло с моей ОС, или есть способ добиться успеха?
Любая помощь приветствуется