메뉴 닫기

Windows에 z3 설치하기

https://github.com/Z3Prover/bin/tree/master/releases

1. github에서 자신의 파이썬 버전에 맞는 파일을 다운로드 받습니다.

 

2. bin 폴더와, include 폴더가 C:\z3py 에 위치하도록 압축을 풀어줍니다.

3. 환경변수 설정을 해줍니다.

 

4. 테스트

 

p.s 원래 잘 쓰고 있었는데 어떤 프로그램이 환경변수를 날려서 다시 셋팅했다고 합니다. (…)

 

 

댓글 남기기

이메일은 공개되지 않습니다.