Alloy
by earl, 6841 days ago
A model language and analyzer using "a simple structural modeling language based on first-order logic".- http://alloy.mit.edu/
search
108 active users
- unknown (108)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
