Использование Z3 с Google Colab Laboratory

Question

Я пытаюсь запустить Z3 (https://github.com/Z3Prover/z3) из Google Colab Laboratory, но пока безуспешно.

Я могу установить его правильно, используя !apt-get install z3.

Но привязки Python, похоже, отсутствуют.

import z3
print(z3.get_version_string())

терпит неудачу AttributeError: module 'z3' has no attribute 'get_version_string'

Answer 1

Я попытался установить его успешно.

https://colab.research.google.com/drive/169gVnbiAjnhCo3AMHxyh-iSZShqYkt3T

Answer 2

Пакеты Debian Z3 с 2015 года. Я не думаю, что к тому времени эта функция существовала.Вам нужна более свежая версия Z3.