mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-28 10:02:43 +01:00
143991a46e
This field used to make sense in our pre-git days, but the Signed-Off-By: line serves the same purpose (and even more) now, so APPROVED has been rejected. ;-) Signed-off-by: Robby Workman <rworkman@slackbuilds.org> |
||
---|---|---|
.. | ||
alloy.desktop | ||
alloy.info | ||
alloy.png | ||
alloy.SlackBuild | ||
README | ||
slack-desc |
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.