fix: Cargo.toml: keywords

jsfpdn · Dec 15, 2024 · a73be02 · a73be02
1 parent a61801a
commit a73be02
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/sddrs/Cargo.toml b/sddrs/Cargo.toml
@@ -6,11 +6,11 @@ authors = ["Josef Podany"]
 repository = "https://github.com/jsfpdn/sdd-rs"
 description = "Bottom-up Sentential Decision Diagram compiler library."
 keywords = [
-    "knowledge-compilation",
+    "knowledge-base",
     "boolean-functions",
-    "sentential-decision-diagrams",
+    "decision-diagrams",
     "model-counting",
-    "satisfiability",
+    "sdd",
 ]
 categories = ["compilers", "data-structures", "mathematics"]
 license = "BSD-3-Clause"