AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
We propose AlloyMax, an extension of Alloy with a capability to express and analyze problems with optimal solutions. AlloyMax introduces (1) a small addition of language constructs …
Changjian Zhang
•
•
1 min read