maximal_independent_sets.fzn 99.1 KB