From 1027184c595d8da98d4878f28a5bcbd062acf657 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Sat, 23 Nov 2024 15:32:36 +0100
Subject: [PATCH] set z3 as default solver because it is fastest

---
 src/hanabi/solvers/sat.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/hanabi/solvers/sat.py b/src/hanabi/solvers/sat.py
index d5485ac..018412f 100644
--- a/src/hanabi/solvers/sat.py
+++ b/src/hanabi/solvers/sat.py
@@ -328,7 +328,7 @@ def solve_sat(starting_state: hanab_game.GameState | hanab_game.HanabiInstance,
     constraints = And(*[valid_move(m) for m in range(first_turn, instance.max_winning_moves)], win)
     #    print('Solving instance with {} variables, {} nodes'.format(len(get_atoms(constraints)), get_formula_size(constraints)))
 
-    model = get_model(constraints)
+    model = get_model(constraints, solver_name="z3")
     if model:
         log_model(model, game_state, ls)
         solution = evaluate_model(model, copy.deepcopy(game_state), ls)