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 | |||
| 201604090056 | 2016-04-09 | ||
| 201509120100 | 2015-09-12 | ||
| 201508141326 | 2015-08-14 | ||
| 201504080245 | 2015-04-08 | ||
| 201504020247 | 2015-04-02 | ||
| 201410201850 | 2014-10-20 | ||
| 201409011827 | 2014-09-01 | ||
| 201407231659 | 2014-07-23 | ||
| 201406080033 | 2014-06-07 | ||
| Totals: 9 Items | 4 | ||
Community Z Tools IDE
Standalone CZT IDE, based on Eclipse platform. This IDE provides a lightweight package of Eclipse with CZT plug-ins, streamlined for work on Z specifications.
Archived distributions are available for Windows (32- and 64-bit), Linux (32- and 64-bit) and Mac OS X (64-bit). Download appropriate distribution, extract it and start formalising.
The current version has not been officially released yet, therefore only nightly builds are available at the moment.