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

Current bandwidth utilization 1050.03 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                                      17-Oct-2020 04:49  221   
 alloy.SlackBuild                            14-Jun-2018 16:00  2.7K  
 alloy.desktop                               14-Jun-2018 16:00  190   
 alloy.info                                  14-Jun-2018 16:00  279   
 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!