start | find | index | login or register | edit
Alloy
by earl, 5568 days ago
A model language and analyzer using "a simple structural modeling language based on first-order logic".

- http://alloy.mit.edu/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 7451 days • c'est un vanilla site