Ошибка при подключении решателя Z3 к KeY 2.8.0. в командной строке
Я новичок в KeY и пытаюсь все настроить, чтобы начать процедуры проверки. Для этого мне нужно включить SMT Solver: Z3. Я скачал файл Z3, но при заполнении пути к каталогу в командной строке в настройках Z3 в KeY получаю ошибку «null» (см. Снимок экрана). Я пробовал много разных мест для моего файла Z3.exe, но все равно получаю ту же ошибку. Я получил путь к каталогу, перейдя в файл -> щелкните правой кнопкой мыши -> нажмите клавишу выбора (macbook) -> скопировать путь.
Есть ли кто-нибудь, кто знает, что я делаю не так?
Заранее спасибо!
снимок экрана с ошибкой(имя удалено в целях конфиденциальности)