Felix Chang software
Home
Windows
Mac
Scripts
Drivers
Felix Chang software and script
Alloy Analyzer 4.2
A structural modelling language based on first-order logic, for expressing complex structural constraints and behaviour
Price: $0, Rating: 5, Downloads: 1
Download
Software Categories
Audio & Multimedia
Business
Communications
Desktop
Development
Education
Games & Entertainment
Graphic Apps
Home and Hobby
Network & Internet
Security and Privacy
Servers
System Utilities
Web Development