Update Cargo.toml.

matszpk · Oct 16, 2022 · 31a7c19 · 31a7c19
1 parent 33c5b87
commit 31a7c19
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -8,7 +8,7 @@ description = "Executes SAT solver and parses SAT solver output"
 repository = "https://github.com/matszpk/exec-sat"
 documentation = "https://docs.rs/exec-sat"
 keywords = ["cnf", "logic", "SAT"]
-categories = ["science", "logic", "mathematics"]
+categories = ["science", "mathematics"]
 
 [dependencies]
 thiserror = "1.0"