Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-25 10:03:03 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
slackbuilds_ponce/development/alloy
History
Jockey S. Kyd 9eea3d3eb6 development/alloy: Added (lightweight modelling language) 
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
2011-09-28 07:56:36 -03:00
..
alloy.info development/alloy: Added (lightweight modelling language) 2011-09-28 07:56:36 -03:00
alloy.SlackBuild development/alloy: Added (lightweight modelling language) 2011-09-28 07:56:36 -03:00
README development/alloy: Added (lightweight modelling language) 2011-09-28 07:56:36 -03:00
slack-desc development/alloy: Added (lightweight modelling language) 2011-09-28 07:56:36 -03:00

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.