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	development/alloy: Add desktop and icon files.	2011-10-11 21:20:25 -05:00
doinst.sh	development/alloy: Fixed (Handle desktop file)	2012-09-29 17:17:41 -05:00
slack-desc	various: Fix slack-desc formatting and comment nit picks.	2013-11-22 02:29:22 -05:00

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.