Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/14.1/development/alloy/

Current bandwidth utilization 1044.49 Mbit/s

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                                      26-Nov-2013 10:57  221   
 alloy.SlackBuild                            05-May-2014 03:30  2.7K  
 alloy.desktop                               26-Nov-2013 10:57  194   
 alloy.info                                  05-May-2014 03:30  271   
 alloy.png                                   12-Oct-2011 00:00  6.2K  
 doinst.sh                                   26-Nov-2013 10:57  129   
 slack-desc                                  26-Nov-2013 10:57  829   

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!