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