search

AlloyTools / org.alloytools.alloy

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
717 stars 122 forks source link

[build] Add missing package #49

Closed pkriens closed 6 years ago

pkriens commented 6 years ago

Fix bug #49

aleksandarmilicevic commented 6 years ago

Thanks for fixing this quickly.

I would have done it, but I still need to learn how this build system work.