From 81e14731f3e4160cbe8e2555a271e4c997d3415c Mon Sep 17 00:00:00 2001 From: karmacoma Date: Thu, 7 Nov 2024 15:39:40 -0800 Subject: [PATCH] change package name to just-solve-it (jsi has a name collision with jsl on PyPI) --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index 5fbed11..3124740 100644 --- 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 = [