mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-06 08:26:50 +01:00
1d9ef0c4e5
Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> |
||
|---|---|---|
| .. | ||
| alloy.desktop | ||
| alloy.info | ||
| alloy.png | ||
| alloy.SlackBuild | ||
| doinst.sh | ||
| README | ||
| slack-desc | ||
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.