A tool developed by CJ for the paper AlloyMax: bringing maximum satisfaction to relational specifications