Unofficial copy of the Alloy* tool's source code (http://alloy.mit.edu/alloy/hola/)
Primary LanguageJavaOtherNOASSERTION