diff --git a/gameplay.mzn b/gameplay.mzn index 8e18e3f..9c6c60a 100644 --- a/gameplay.mzn +++ b/gameplay.mzn @@ -54,6 +54,10 @@ constraint forall(p in Players) ( StartingCardsInHand[Round4,p] = StartingCardsInHand[Round3,p] - TotalCardsPlayed[Round3,p] + CardsDealtPerRound[Round4] ); +constraint forall(r in Rounds, p in Players) ( + StartingCardsInHand[r,p] >= TotalCardsPlayed[r,p] +); + % TODO: Move to simultanouse % The last player must have played atleast one card of the top artist constraint forall(r in Rounds) ( diff --git a/modernart.mzn b/modernart.mzn index ff1d485..7a9822e 100644 --- a/modernart.mzn +++ b/modernart.mzn @@ -3,7 +3,7 @@ enum Players; enum Artists; enum Rounds; -Players = {Nemo,Jana, Adam}; +Players = {Nemo, Jana, Adam}; Artists = {Krypto,KarlGitter,ChristinP,Yoko,LiteMetal}; Rounds = {Round1, Round2, Round3, Round4};