SlackBuilds Repository

14.0 > Development > alloy (4.1.10)

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
Keywords: alloy,model,analyzer

Homepage:
http://alloy.mit.edu/

Source Downloads:
alloy4.jar (5893b41934de4d339f9b15e2c254e10c)

Download SlackBuild:
alloy.tar.gz
alloy.tar.gz.asc (FAQ)

(the SlackBuild does not include the source)

See our HOWTO for instructions on how to use the contents of this repository.

Access to the repository is available via:
ftp git cgit http rsync

[  Exec: 0.0277 sec  |  Load: 0.28 0.24 0.23  ]

© 2006-2014 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of Patrick Volkerding
Linux® is a registered trademark of Linus Torvalds
Web Design by WebSight Designs |  Managed Hosting by OnyxLight Communications