Tools for developing and reasoning about Z specifications
Provides AST classes for the Z specification language.