Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-26 22:06:35 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

development/alloy: Fix README.

Browse source 
Signed-off-by: B. Watson <yalhcru@gmail.com>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
B. Watson 2020-10-12 20:46:27 -04:00 committed by Willy Sudiarto Raharjo
parent 2bd04a7f5a
commit 1d9ef0c4e5
No known key found for this signature in database
GPG key ID: 3F617144D7238786
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
development/alloy/README
View file

@ -1,3 +1,4 @@
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.
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.