Alloy Analyzer

4.2 MB   1,607 downloads
4.2 100% CLEAN MIT License    
  not rated
A structural modelling language based on first-order logic, for expressing complex structural constraints and behaviour

description

download

specifications

changelog

Alloy Analyzer is a constraint solver that provides fully automatic simulation and checking for the Alloy language.
READ MORE   
Last updated on March 16th, 2014
2  
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.

0 User reviews so far.

SUBMIT