From 70c1e9c02b119f2942bc873a0180036907fccf9c Mon Sep 17 00:00:00 2001
From: Nemo <me@captnemo.in>
Date: Tue, 21 Jul 2020 02:31:58 +0530
Subject: [PATCH] Change Player names to be easier

---
 modernart.mzn | 5 ++---
 sanity.mzn    | 2 +-
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/modernart.mzn b/modernart.mzn
index 5de6f00..432baef 100644
--- a/modernart.mzn
+++ b/modernart.mzn
@@ -3,7 +3,7 @@ enum Players;
 enum Artists;
 enum Rounds;
 
-Players = {Nemo, Jana};
+Players = {Player1, Player2, Player3,Player4};
 
 % The order here is opposite of what you'd usually use while playing the game
 % because this results in LiteMetal getting a higher numeric value and that makes
@@ -31,8 +31,7 @@ array[Rounds, Artists] of var 0..10: CardsForArtist;
 array[Rounds] of var 0..10: NominalTurnCount;
 
 % Symmetry Breaking
-constraint Score[Nemo] > Score[Jana];
 
-solve maximize Score[Nemo];
+solve maximize Score[Player2];
 
 output  outputJSON();
diff --git a/sanity.mzn b/sanity.mzn
index ac25c4a..5453e80 100644
--- a/sanity.mzn
+++ b/sanity.mzn
@@ -20,7 +20,7 @@ constraint forall(r in Rounds, p in Players) (
 );
 
 % Round 1 Player 1
-constraint first_player[Round1] = Nemo;
+constraint first_player[Round1] = Player1;
 
 % Visible Cards per round per player for every artist > 0
 constraint forall(a in Artists) (