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.
This requires: jdk
Maintained by: Jockey S. Kyd
(the SlackBuild does not include the source)