From 463d2559142811a771de97aa552343585c57307a Mon Sep 17 00:00:00 2001
From: Malte Tammena <malte.tammena@pm.me>
Date: Mon, 8 Jan 2024 10:18:57 +0100
Subject: [PATCH] feat: add aba2sat

---
 spec.json | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/spec.json b/spec.json
index daf971b..fb2262b 100644
--- a/spec.json
+++ b/spec.json
@@ -69,5 +69,17 @@
         "keepnr": 1,
         "schedulingshares": 100,
         "type": 1
+    },
+    "aba2sat": {
+        "checkinterval": 60,
+        "description": "ABA solver using SAT",
+        "emailoverride": "",
+        "enabled": 1,
+        "enableemail": false,
+        "flake": "git+https://git.tammena.me/megamanmalte/aba2sat?ref=main",
+        "hidden": false,
+        "keepnr": 1,
+        "schedulingshares": 100,
+        "type": 1
     }
 }