Привязки Z3 Java и CLI имеют разные версии

Question

Я скачал последнюю стабильную версию Z3 с GitHub, которая является 4.8.7. С помощью инструмента CLI, когда я пишу $ ./z3 -version, я получаю Z3 version 4.8.7 - 64 bit, однако, когда я делаю System.out.println(Version.getFullVersion()) в своем коде Java после (который имеет import com.microsoft.z3.*), я получаю Z3 4.8.6.0.

Есть ли способ обновить привязки Z3 Java до 4.8.7, ie, до последней версии?

Answer 1

Я следовал своим собственным инструкциям :-) здесь , и с полученной банкой получаем:

System.out.println(Version.getFullVersion()) // Z3 4.8.7.0