Alloy is available at https://www.funet.fi/pub/languages/alloy/