CZT provides classes for parsing and printing Z and Z extension specifications.

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

• Z (core): parser-z
• Z Pattern extension: parser-zpatt
• Z/EVES extension: parser-zeves
• Object-Z extension: parser-oz
• Object-Z Pattern extension: parser-ozpatt
• Circus extension: parser-circus
• Circus Time extension: parser-circustime