A structural modelling language based on first-order logic, for expressing complex structural constraints and behaviour.
- Alloy Analyzer
- Version :4.2
- License :MIT License
- OS :Windows All
- Publisher :Felix Chang
Alloy Analyzer Description
Alloy Analyzer is a constraint solver that provides fully automatic simulation and checking for the Alloy language.
System requirements
- Java