Update packages.json

nim-lang · Jan 30, 2025 · 0464902 · 0464902
1 parent 2ec3e27
commit 0464902
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/packages.json b/packages.json
@@ -34562,5 +34562,14 @@
     "description": "Errorcodes maps Nim error states and POSIX and HTTP error codes to a single common enum. It can be used as an alternative to exceptions.",
     "license": "MIT", 
     "web": "https://github.com/nim-lang/errorcodes"
+  },
+  {
+    "name": "sat",
+    "url": "https://github.com/nim-lang/sat.git",
+    "method": "git",
+    "tags": ["SAT", "boolean algebra"],
+    "description": "A SAT solver written in Nim. Used in the Nimble and Atlas package managers.",
+    "license": "MIT",
+    "web": "https://github.com/nim-lang/sat"
   }
 ]