Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
Alloy: A Language and Tool for Relational Models
(
alloy.mit.edu
)
63 points
by
brudgers
on March 25, 2015
|
past
|
2 comments
Alloy: a language and tool for relational models (2012)
(
alloy.mit.edu
)
20 points
by
luu
on June 20, 2014
|
past
|
2 comments
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
