Alloy Analyzer 4.2

A structural modelling language based on first-order logic, for expressing complex structural constraints and behaviour

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!

What's new in Alloy Analyzer 4.2:

  • 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 a.plus[b] and a.minus[b] respectively.
Read full changelog
report
malware
send us
an update
LICENSE TYPE:
MIT License 
FILE SIZE:
4.2 MB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Felix Chang
CATEGORY:
C: \ Science / CAD
2 Alloy Analyzer Screenshots:
Alloy Analyzer - This is the main window of Alloy Analyzer from where you can access all the features of the application.Alloy Analyzer - From the Options menu you can adjust various features of the application.
Alloy Analyzer is a constraint solver that provides fully automatic simulation and checking for the Alloy language.

Last updated on March 16th, 2014

Runs on: Windows All

requirements

#Alloy Analyzer #Alloy Language #Constraint Solver #Alloy Analyzer #Analyzer #Analyze #Alloy

Add your review!

SUBMIT