Alloy is a lightweight modelling language for software design. It is amenable
to a fully automatic analysis, using the Alloy Analyzer, and provides a
visualizer for making sense of solutions and counterexamples it finds.
Maintained by: Jockey S. Kyd
Approved by: Erik Hanson
(the SlackBuild does not include the source)