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: orphaned - no maintainer
Keywords: alloy,model,analyzer
ChangeLog: alloy
Homepage:
http://alloy.mit.edu/
Download SlackBuild:
alloy.tar.gz
alloy.tar.gz.asc (FAQ)
(the SlackBuild does not include the source)
Individual Files: |
README |
alloy.SlackBuild |
alloy.desktop |
alloy.info |
alloy.png |
doinst.sh |
slack-desc |
© 2006-2024 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of
Patrick Volkerding
Linux® is a registered trademark of
Linus Torvalds