Apps filed under: Alloy Language
RSS Feed for this tag 1 application totalLast updated: Mar 16th 2014, 15:07 GMT
- 2,178 downloads
- 4.23 MB
Alloy Analyzer 4.2
A structural modelling language based on first-order logic, for expressing complex structural cons...
Mar 16th 2014, 15:07 GMT
Windows All