feat: add aba2sat

2024-01-08 10:18:57 +01:00 · 2024-01-08 10:18:57 +01:00 · 463d255914
parent 531a5e74d7
commit 463d255914
1 changed files with 12 additions and 0 deletions
--- 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
    }
 }