Welcome to ftp.nluug.nl Current directory: /ftp/pub/os/Linux/distr/salix/sbo/14.0/development/alloy/ |
|
Contents of 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. |
Name Last modified Size
Parent Directory - README 12-Oct-2011 04:40 221 alloy.SlackBuild 02-Oct-2012 19:59 1.6K alloy.desktop 12-Oct-2011 04:40 194 alloy.info 11-Nov-2013 21:19 273 alloy.png 12-Oct-2011 00:00 6.2K doinst.sh 30-Sep-2012 00:39 129 slack-desc 30-Sep-2011 00:32 831
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!