cmu-soda/AlloyMax

AlloyMax is an extension of Alloy with a capability to express and analyze problems with optimal solutions. It introduces (1) a small addition of language constructs that can be used to specify a wide range of problems that involve optimality and (2) a new analysis engine that leverages a MaxSAT solver to generate optimal solutions.

JavaNOASSERTION