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.
Other
709
stars
123
forks
source link
[recursion] Fixes the infinite recursion in the check for integers an… #22
In review for #21