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