Download Latest Version czt.jar (6.3 MB)
Email in envelope

Get an email when there's a new version of Community Z Tools

Home / typechecker / 1_0
Name Modified Size InfoDownloads / Week
Parent folder
czt_typecheck_v1.0_src.zip 2007-07-05 2.8 MB
0
czt_typecheck_v1.0_src.tar.bz2 2007-07-05 1.5 MB
0
czt_typecheck_v1.0_src.tgz 2007-07-05 2.3 MB
0
czt_typecheck_v1.0.jar 2007-07-05 2.1 MB
0
Totals: 4 Items   8.7 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.
Source: README.md, updated 2013-04-03