mirror of
https://github.com/Ponce/slackbuilds
synced 2024-10-22 22:27:28 +02:00
5 lines
221 B
Text
5 lines
221 B
Text
|
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.
|