Download Latest Version
czt.jar (6.3 MB)
Get an email when there's a new version of Community Z Tools
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| corejava_1_1_1_src.tar.bz2 | 2003-10-03 | 239.0 kB | |
| corejava_1_1_1_src.tar.gz | 2003-10-03 | 530.2 kB | |
| corejava_1_1_1_src.zip | 2003-10-03 | 1.2 MB | |
| Totals: 3 Items | 2.0 MB | 0 | |
Community Z Tools downloads
Community Z Tools provides downloads to be used in various different scenarios. CZT provides libraries to develop tools for Z specifications, or can be used as IDE to develop Z specifications. The different downloads are available from the corresponding directories:
czt-ide- Releases of standalone CZT IDE, based on Eclipse platform. Use it to author, develop and verify Z specifications.czt-ide-updates- Update sites for released CZT Eclipse plugins to be installed in your own Eclipse IDE.czt-jedit- Plugins for the jEdit text editor adding support for typesetting Z specifications.czt- Standalone CZT library (classic distribution).maven- Instructions how to use CZT libraries deployed to Maven Central.