Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Fixes a bug (type errors likely introduced when changing the syntax of arithmetic operations) reported at https://alloytools.discourse.group/t/util-sequence-type-error/185/3 .