From e0c2691dbe31903d9743fb88472ac2b32054e1d6 Mon Sep 17 00:00:00 2001 From: vil02 <65706193+vil02@users.noreply.github.com> Date: Wed, 4 Mar 2026 08:03:14 +0100 Subject: [PATCH] chore: bump version to `0.4.0` --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index 7db010c..cabe08c 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -1,6 +1,6 @@ [project] name = "str8ts_solver" -version = "0.3.0" +version = "0.4.0" description = "str8ts solver using z3" authors = [ {email = "vil02_str8ts_solver@10g.pl"},