2013-11-15 2 views
5

rise4fun z3pyはセキュリティ上の問題のために数週間から利用できません。私はz3pyを学ぶためのいくつかのリソースを見つけようとしましたが、無駄に終わりました。 z3pyを学ぶためのいくつかのリソースをお勧めしますz3pyチュートリアルはどこで入手できますか

+1

質問などのチュートリアルを参照してくださいウェイバックマシンを使用することができますおよびスパムです。 –

+3

私のためにいくつかのツールを見つけることを求めていません。 z3の公式ページは、接触する手段の1つとしてstackoverflowを提供しています。 http://research.microsoft.com/en-us/um/redmond/projects/z3/old/mail.htmlを参照してください。 – svKris

+1

「お勧めのリソース」は、何かを推薦したり見つけたりする要求です。公式ページがここにあなたを送っているという事実は、自動的にオフトピックの投稿をトピックにすることはありません。ここのガイドライン**は**あなたの質問は話題外だと言っています。 [トピックのページ](http:// stackoverflow/help/on-topic)、特にそのページの番号付きリストを参照してください。 –

答えて

5

私はZ3Pyチュートリアルのソースを使ってzipファイルを作成しました。 これは基本的に、いくつかのHTMLページと一群のpythonファイルです。
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true

アップデート(2014年1月14日):ここ リンクがあるZ3Pyチュートリアルがオンラインに戻る

+0

Z3Pyが再びダウンしているようです。私はあなたのファイルをダウンロードし、サンプルを使ってhtmlファイルを作成しました(私は.pyファイルを参照する必要がありません)。これらはhttp://dropproxy.com/f/834からダウンロードできます。 – Sorig

0

あるofficialz3pyチュートリアルのウェブサイトはtaken down due to security problemsされていると書いている時点ではまだ利用できませんしましたこの投稿の

一方、githubにあるすべてのファイルを含むウェブサイトのミラーにアクセスできます。