Additional constraint generated during transformation of choice rules#282

rtaupe wants to merge 1 commit intomasteralpha-asp/Alpha:masterfrom

additional_choice_nogoodsalpha-asp/Alpha:additional_choice_nogoodsCopy head branch name to clipboard