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

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