z3py 자습서를 어디에서 얻을 수 있습니까?

StackOverflow https://stackoverflow.com//questions/20002135

  •  20-12-2019
  •  | 
  •  

문제

Rounter4Fun z3py는 몇 주에서 보안 문제로 인해 z3py를 사용할 수 없습니다.나는 z3py를 배우기위한 자원을 찾으려고 노력했지만 헛되이 종료되었다.z3py

를 배우는 몇 가지 자원을 제안하십시오.

도움이 되었습니까?

해결책

z3py 자습서 소스가있는 zip 파일을 만들었습니다. 기본적으로 몇 가지 HTML 페이지와 파이썬 파일의 무리입니다. 링크는 다음과 같습니다 https://github.com/leodemoura./leodemoura.github.com/blob/master/files/z3py.zip?raw=true

update (2014 년 1 월 14 일) : z3py 자습서는 온라인 상태

다른 팁

"Nofollow"> 공식 z3py 자습서 웹 사이트는 보안 문제로 인해 촬영 된 이 게시물의 기록시 여전히 사용할 수 없습니다.

한편 Github 의 모든 파일을 포함하는 웹 사이트의 미러에 액세스 할 수 있습니다.

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top