Looking for the latest version? Download czt.jar (6.3 MB)
Name Modified Size Downloads / Week Status
czt-ide 2013-04-03 2828 weekly downloads
czt-ide-updates 2013-04-03 11 weekly downloads
czt-jedit 2013-04-03 88 weekly downloads
czt 2013-04-03 2222 weekly downloads
maven 2013-04-03 0
typechecker 2007-07-05 0
corejava (old) 2004-09-23 0
README.md 2013-04-03 1.1 kB 0
Totals: 8 Items   1.1 kB 59

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.
Source: README.md, updated 2013-04-03

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

No, thanks