Added package sat (#2827)

2026-08-26 18:31:06 +00:00 · 2024-03-05 21:35:04 +08:00
parent 93413f0f90
commit 6d9f4b63df
1 changed files with 13 additions and 0 deletions
@@ -32742,5 +32742,18 @@
    "description": "Puyo Puyo and Nazo Puyo Application",
    "license": "Apache-2.0",
    "web": "https://github.com/izumiya-keisuke/pon2"
+  },
+  {
+    "name": "sat",
+    "url": "https://github.com/nim-lang/sat",
+    "method": "git",
+    "tags": [
+      "sat",
+      "official",
+      "solver"
+    ],
+    "description": "A SAT solver written in Nim.",
+    "license": "MIT",
+    "web": "https://github.com/nim-lang/sat"
  }
 ]