Tools for developing and reasoning about Z specifications
Provides AST classes for Circus Time extension of the Z specification language.