Tools for developing and reasoning about Z specifications
Provides shared base classes and utilities to be reused across CZT projects.