PACKAGE NAME:  alloy-4.2-x86_64-6_slack.txz
PACKAGE MIRROR:  http://slackonly.com/pub/packages/14.1-x86_64/
PACKAGE LOCATION:  ./development/alloy
PACKAGE SIZE (compressed):  4060 K
PACKAGE SIZE (uncompressed):  4370 K
PACKAGE REQUIRED:  
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
alloy: alloy (Alloy Analyzer)
alloy:
alloy: Alloy is a lightweight modelling language for software design. It is
alloy: amenable to a fully automatic analysis, using the Alloy Analyzer, and
alloy: provides a visualizer for making sense of solutions and
alloy: counterexamples it finds.
alloy:
alloy: http://alloy.mit.edu/
alloy:
alloy:
alloy: