mirror of
https://github.com/Ponce/slackbuilds
synced 2024-10-22 22:27:28 +02:00
fdb33faa1e
Signed-off-by: Erik Hanson <erik@slackbuilds.org>
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.
|