Tools for developing and reasoning about Z specifications
Provides classes for parsing and printing Z specifications.