윈도우

내가는 CodePlex에서 Z3 버전 4.3.0와 Windows 7에서 작동하도록 Z3 파이썬 프론트 엔드를 받고 몇 가지 힘든 시간을 보내고 있어요에 Z3 + 파이썬을 설치. MSI 파일로 배포 된 이전 버전 4.1.2는 Windows 7에서 정상적으로 작동합니다.윈도우

Visual Studio 명령 프롬프트가 없으므로 codeplex의 소스 코드를 사용하여 Z3을 빌드 할 수 없습니다. 정말 필요합니까?). 그래서 바이너리 파일 32 비트 버전을 다운로드하고 그 디렉토리를 PYTHONPATH에 추가합니다. 이 나를 import z3 할 수 있지만 더 이상 오류 Z3Exception: 'init(Z3_LIBRARY_PATH) must be invoked before using Z3-python' 때문에 사용할 수 없습니다. 파일 z3.dll은 다운로드 파일에 포함되어 있지 않습니다.

Mac 또는 Linux에서 Z3 v4.3을 설정하는 데 문제가 없습니다.

출처

2012-11-13 Vu Nguyen

비주얼 스튜디오 익스프레스는 Z3를 컴파일하기에 충분 마이크로 소프트, here에서 무료로 사용할 수 있습니다. 그러나, Z3가 Z3Py를 사용하기 위해 처음부터 컴파일되어야한다는 요구 사항은 아닙니다.

버전 4.3.0부터는 DLL은 이제 libz3.dll이라고 불리며 코드 플렉스에서 다운로드에 실제로 포함되어 있는지 확인하고 PYTHONPATH에 추가하면 올바르게 실행됩니다. 필자의 경우에 잘못된 점은 C : ... \ z3-4.3.0-x86을 PYTHONPATH에 추가했다는 것입니다. C : ... \ z3-4.3.0-x86 \ bin이 추가됩니다 (끝에 \ bin을 적어 두십시오).

출처

2012-11-13 21:29:43

안녕하세요 Chris는 실제로 \ bin 디렉토리를 추가 했으므로 (import z3을 할 수 있었던 이유입니다). 나는 또한 z3.init ("libz3.dll")을 시도했지만 약간의 오류가 있었다고 생각한다. 내 Win 머신에 액세스 할 권한이 없지만 내일 오류를 게시 할 수 있습니다. z3.init ("libz3.dll")을 할 때 작동합니까? –

저는 이제 64 비트 버전 z3을 사용했으며 이제 작동합니다. 감사합니다 –

좋아요! 정보 주셔서 감사합니다. 내가 언급 한 것을 잊어 버린 또 다른 점이 있습니다 : 그것은 설치된 Python 버전에 달려 있습니다. 나는 x64 버전도 x64 DLL이 필요하다고 믿습니다. –

답변

관련 문제