mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-26 22:06:35 +01:00
3 lines
221 B
Text
3 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.
|