diff options
Diffstat (limited to 'development/alloy/README')
-rw-r--r-- | development/alloy/README | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/development/alloy/README b/development/alloy/README deleted file mode 100644 index 6d1e763ac2..0000000000 --- a/development/alloy/README +++ /dev/null @@ -1,3 +0,0 @@ -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. |