Submissions from alloytools.org

		Alloy v6 release announcement – traced and visualized object instances (alloytools.org)
		1 point by rektide on June 13, 2023 \| past
		Alloy Tutorial (alloytools.org)
		3 points by memorable on Sept 3, 2022 \| past
		Alloy 6 (alloytools.org)
		2 points by holonomically on Nov 15, 2021 \| past
		Alloy 6 (alloytools.org)
		21 points by todsacerdoti on Nov 10, 2021 \| past \| 4 comments
		Alloy (alloytools.org)
		1 point by BerislavLopac on Oct 9, 2019 \| past
		Alloy is an open source language and analyzer for software modeling (alloytools.org)
		121 points by homarp on May 25, 2019 \| past \| 21 comments