Как я могу использовать Z3 SMT локально

Question

Есть ли у кого-нибудь идеи, как использовать Z3 SMT локально вместо использования веб-сайта? Я знаю, как использовать z3.py, но мне нужно использовать SMT. rise4fun.com вниз, что затрудняет проверку моих моделей.

Answer 1

Z3 двоичные файлы для различных платформ доступны для скачивания на Z3 Website.