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

Current bandwidth utilization 2029.75 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                                       12-Oct-2011 00:00  221   
 alloy.SlackBuild                             12-Oct-2011 00:00  1.6K  
 alloy.desktop                                12-Oct-2011 00:00  194   
 alloy.info                                   12-Oct-2011 00:00  272   
 alloy.png                                    12-Oct-2011 00:00  6.2K  
 slack-desc                                   29-Sep-2011 00:00  831   

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