diff options
| author |   Jockey S. Kyd <jockey.kyd@gmail.com> | 2011-09-28 07:56:36 -0300 |
|---|---|---|
| committer |   Niels Horn <niels.horn@slackbuilds.org> | 2011-09-28 07:56:36 -0300 |
| commit | 9eea3d3eb6c2929209131c7fe7436d252dc576bd (patch) | |
| tree | 323280eca32d6de49e08ac7e0e640e024dc4c252 /development/alloy/README | |
| parent | 63cd59235a7307bbb68e396fe69f0dae42879f18 (diff) | |
| download | slackbuilds-9eea3d3eb6c2929209131c7fe7436d252dc576bd.tar.gz slackbuilds-9eea3d3eb6c2929209131c7fe7436d252dc576bd.tar.xz | |
development/alloy: Added (lightweight modelling language)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'development/alloy/README')
| -rw-r--r-- | development/alloy/README | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/development/alloy/README b/development/alloy/README new file mode 100644 index 0000000000..180468fc39 --- /dev/null +++ b/development/alloy/README @@ -0,0 +1,4 @@ +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. |