私は KeY を初めて使用し、検証手順を開始できるようにすべてをセットアップしようとしています。そのためには、SMT Solver: Z3 を有効にする必要があります。Z3 ファイルをダウンロードしましたが、コマンド ラインで Z3 設定のディレクトリ パスを入力すると、KeY で "null" というエラーが表示されます (スクリーンショットを参照)。Z3.exe ファイルのさまざまな場所を試しましたが、同じエラーが発生します。ファイルに移動してディレクトリパスを取得しました->右クリック->オプションキー（macbook）を押します->パスをコピーします。
私が間違っていることを知っている人はいますか？
前もって感謝します！
エラーのスクリーンショット (プライバシー保護のため名前は削除されています)
