Translator from Z to Alloy
This project provides a translator from Z specifications to Alloy notation.
Only a subset of Z constructs is supported by the translator.
A paper describing the translation was presented in ABZ 2010 conference: “Translating Z to Alloy”.
Dependency on Alloy library
The project requires Alloy library to compile, which is not available in Maven Central. For this reason, z2alloy is not deployed to Maven Central as well. Use the CZT repository version instead.