Mam trudny okres, aby frontend Z3 Python działał na Windows 7 z Z3 w wersji 4.3.0 z codeplex. Starsza wersja 4.1.2, która była dystrybuowana jako plik MSI, działa dobrze na moim Windows 7.

Po pierwsze, nie mogę użyć kodu źródłowego z codeplex do zbudowania Z3, ponieważ nie mam wiersza poleceń Visual Studio (czy naprawdę tego potrzebuję?). Pobieram więc plik binarny w wersji 32-bitowej i dodajemy ten katalog do mojego PYTHONPATH. To pozwala mi to zrobićimport z3 , ale nie mogę go używać z powodu błęduZ3Exception: 'init(Z3_LIBRARY_PATH) must be invoked before using Z3-python' . Plikz3.dll nie jest dołączony do pliku do pobrania.

Nie mam problemu z ustawieniem Z3 v4.3 na moim Macu lub Linuksie.