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