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