Alloy Analyzer 4.2

A structural modelling language based on first-order logic, for expressing complex structural constraints and behaviour
Alloy Analyzer - This is the main window of Alloy Analyzer from where you can access all the features of the application.
  2 Screenshots
Alloy Analyzer is a constraint solver that provides fully automatic simulation and checking for the Alloy language.

last updated on:
March 16th, 2014, 15:07 GMT
file size:
4.2 MB
developed by:
Felix Chang
license type:
MIT License 
operating system(s):
Windows All
C: \ Science / CAD
Alloy Analyzer
Download Button

In a hurry? Add it to your Download Basket!

user rating



Rate it!
2 Screenshots
Alloy Analyzer - From the Options menu you can adjust various features of the application.
What's New in This Release:
  • int vs Int:
  • Small ints are not supported any longer; all integers (including constant literals, the result of the cardinality operator #, etc.) are always treated as sets of integers, i.e. Int.
  • Alloy built-in operators plus (+) and minus (-) are always treated as relational union and relational difference respectively.
  • For arithmetic operations, the users should always use the functions provided in util/integer.als. For example, what could be written previously as a+b and a-b must now be written[b] and a.minus[b] respectively.
read full changelog

Add your review!