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