change package name to just-solve-it

(jsi has a name collision with jsl on PyPI)
a16z · Nov 7, 2024 · 81e1473 · 81e1473
1 parent ff0398c
commit 81e1473
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyproject.toml b/pyproject.toml
@@ -1,5 +1,5 @@
 [project]
-name = "jsi"
+name = "just-solve-it"
 dynamic = ["version"]
 description = "just solve it - a command line tool to run multiple SMT (Satisfiability Modulo Theories) solvers in parallel"
 authors = [