discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Alloy: A Language and Tool for Relational Models
http://alloy.mit.edu/alloy/
2 comments
25/3/2015
Alloy: a language and tool for relational models (2012)
http://alloy.mit.edu/alloy/faq.html
2 comments
20/6/2014
Reddit
Alloy: a tool for exploring abstract software designs
http://alloy.mit.edu
7 comments
19/2/2008
programming
Alloy, a simple structural modeling language based on first-order logic
http://alloy.mit.edu/index.php
2 comments
3/11/2007
programming