From 55bdec0b341cdbc9be63a17ea6e46a1ac0d87db2 Mon Sep 17 00:00:00 2001 From: wltt1004 Date: Tue, 7 Jul 2026 20:03:14 +0000 Subject: [PATCH] build codex/pig1-edge (shim:0.87.1-edge) on main ac488ab --- solver.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/solver.py b/solver.py index 3039a60..f5af1fb 100644 --- a/solver.py +++ b/solver.py @@ -38,8 +38,8 @@ logger = logging.getLogger(__name__) -SOLVER_NAME = os.environ.get("MINOTAUR_SOLVER_NAME", "hydra-discovery-router") -SOLVER_VERSION = os.environ.get("MINOTAUR_SOLVER_VERSION", "1.53.0") +SOLVER_NAME = os.environ.get("MINOTAUR_SOLVER_NAME", "putty-king-solver") +SOLVER_VERSION = os.environ.get("MINOTAUR_SOLVER_VERSION", "0.87.1-edge") SOLVER_AUTHOR = os.environ.get("MINOTAUR_SOLVER_AUTHOR", "top") _USDC = "0x833589fcd6edb6e08f4c7c32d4f71b54bda02913" @@ -1579,3 +1579,5 @@ def generate_plan(self, *args, **kwargs): pass # SHIMMD5:1050a91b6b0c + +# putty-nonce 0.87.1-edge 1783454594440336374-1117347