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