slackbuilds

History

B. Watson 1d9ef0c4e5 development/alloy: Fix README. Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>		2020-10-17 09:38:47 +07:00
..
README	development/alloy: Fix README.	2020-10-17 09:38:47 +07:00
alloy.SlackBuild	development/alloy: Make .desktop validate, i486=>i586.	2017-03-25 13:27:22 +00:00
alloy.desktop	development/alloy: Make .desktop validate, i486=>i586.	2017-03-25 13:27:22 +00:00
alloy.info	development/alloy: Fix download url.	2018-03-03 08:42:16 +07:00
alloy.png	…
doinst.sh	…
slack-desc	…

README

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.