From 6d9f4b63dfcea321e2aff5598e9ab505d219e115 Mon Sep 17 00:00:00 2001
From: ringabout <43030857+ringabout@users.noreply.github.com>
Date: Tue, 5 Mar 2024 21:35:04 +0800
Subject: [PATCH] Added package sat (#2827)

---
 packages.json | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/packages.json b/packages.json
index b76da2b..ea71a43 100644
--- a/packages.json
+++ b/packages.json
@@ -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"
   }
 ]