Community Z Tools Files

Tool support for the Z formal notation

Status: Beta

Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
czt.jar	2013-04-09	6.2 MB	0
Totals: 1 Item		6.2 MB	0

CZT standalone library

The standalone czt.jar library collects the main CZT libraries in a single JAR file. This is the classic CZT download and can be used as a library dependency, or can be invoked to provide command-line CZT tools or the classic CZT UI.

Learn more about using czt.jar in the User manual.

Source: README.md, updated 2013-04-03

Other Useful Business Software

Zenflow- The AI Workflow Engine for Software Devs

Parallel agents. Multi-agent orchestration. Specs that turn into shipped code. Zenflow automates planning, coding, testing, and verification.

Zenflow is the AI workflow engine built for real teams. Parallel agents plan, code, test, and verify in one workflow. With spec-driven development and deep context, Zenflow turns requirements into production-ready output so teams ship faster and stay in flow.

Try free now

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Recommended Projects

Z Word Tools
Write, check, index and diagram Z specifications in Microsoft Word.
Chalk Tools
Chalk Tools is a set of utilities and tools usefull to Java Developers.
cado
Template-based code generation language.
cca-forum
Cca-forum unifies the Common Component Architecture tools and tutorial. It includes the CCA specifications, the Ccaffeine framework for HPC, and related tools. These support multilanguage scientific and parallel computing.
Haskell support for Eclipse
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

Community Z Tools Files

Tool support for the Z formal notation

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

CZT standalone library