13c09829c4
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> |
||
---|---|---|
.. | ||
README | ||
alloy.SlackBuild | ||
alloy.desktop | ||
alloy.info | ||
alloy.png | ||
doinst.sh | ||
slack-desc |
README
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.