セキュリティ上の問題により、rise4fun z3py は数週間利用できなくなりました。z3py を学習するためのリソースをいくつか見つけようとしましたが、無駄に終わりました。z3py を学ぶためのリソースを提案してください
2300 次
3 に答える
0
公式 のz3pyチュートリアル Web サイトは、セキュリティ上の問題により閉鎖されており、この投稿の執筆時点ではまだ利用できません。
その間、 githubにあるすべてのファイルを含む Web サイトのミラーにアクセスできます。
于 2015-04-25T04:47:59.713 に答える
0
Wayback Machine を使用して、 http://web.archive.org/web/20121117183725/http: //rise4fun.com/Z3Py/tutorialcontent/advanced などのチュートリアルを表示することもできます。
于 2015-05-03T02:03:23.043 に答える