From 104d2451b1ee0c4440c33c045e63b25040e8aa33 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sat, 5 Oct 2024 01:26:19 -0700
Subject: [PATCH] feat: Add more automation to `HammerAgent`

---
 experiments/dsp/solve/prove.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/experiments/dsp/solve/prove.py b/experiments/dsp/solve/prove.py
index ddcc4b4..75dada0 100644
--- a/experiments/dsp/solve/prove.py
+++ b/experiments/dsp/solve/prove.py
@@ -11,6 +11,8 @@ class HammerAgent(Agent):
         self.goal_tactic_id_map = collections.defaultdict(lambda : 0)
         self.tactics = [
             "aesop",
+            "simp",
+            "linarith",
         ]
 
     def next_tactic(