Я испытываю трудности с получением интерфейса Z3 Python для работы на Windows 7 с Z3 версии 4.3.0 из codeplex. Более старая версия 4.1.2, которая распространялась как MSI-файл, прекрасно работает на моей Windows 7.

Во-первых, я не могу использовать исходный код из codeplex для сборки Z3, потому что я неУ меня нет командной строки Visual Studio (она мне действительно нужна?). Поэтому я загружаю 32-битную версию двоичного файла и добавляю этот каталог в свою PYTHONPATH. Это позволяет мне сделатьimport z3 , но я не могу использовать его дальше из-за ошибкиZ3Exception: 'init(Z3_LIBRARY_PATH) must be invoked before using Z3-python' , Файлz3.dll не входит в загружаемый файл.

У меня нет проблем с установкой Z3 v4.3 на моем Mac или Linux.