The implementation of the tool AlloyMax, available on at link. Also, the benchmark problems presented in the paper AlloyMax: bringing maximum satisfaction to relational specifications can be found at link.
The implementation of the tool AlloyMax, available on at link. Also, the benchmark problems presented in the paper AlloyMax: bringing maximum satisfaction to relational specifications can be found at link.