czt-ide-1.6.0.201509120101-linux.gtk.x86_64.tar.gz (czt-ide-1.6.0.201509120101-linux.gtk.x86_64.tar.gz( 外部リンク: SF.net): 75,775,385 バイト)のダウンロードが開始されます。開始されない場合,左のリンクをクリックしてください。

ファイル情報

ファイルサイズ
75,775,385 バイト
MD5
f9305c541e5f72322ba6811bbbf33fcd

プロジェクト概要

コミュニティ Z ツールプロジェクト(CZT)は、Z 仕様と関連する記法のアニメーション化、型チェック、編集用のツールです。メソッドツールを構築するために Javaのフレームワークを含んでいます。