CZT provides classes for typechecking Z and some Z extension specifications.

To provide modularity, each supported dialect gets its own typechecker subproject. For your projects, select typecheckers just for the dialects you need as your dependencies:

• Z (core): typechecker-z
• Z/EVES extension: typechecker-zeves
• Object-Z extension: typechecker-oz
• Circus extension: typechecker-circus