diff options
Diffstat (limited to 'development/alloy')
| -rw-r--r-- | development/alloy/README | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/development/alloy/README b/development/alloy/README index 6d1e763ac271..49ec15f20bc7 100644 --- a/development/alloy/README +++ b/development/alloy/README @@ -1,3 +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. +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. |