PyPI recent updates for str8ts_solver https://pypi.org/project/str8ts-solver/ Recent updates to the Python Package Index for str8ts_solver en 0.4.0 https://pypi.org/project/str8ts-solver/0.4.0/ str8ts solver using z3 vil02_str8ts_solver@10g.pl Wed, 04 Mar 2026 07:08:25 GMT 0.3.0 https://pypi.org/project/str8ts-solver/0.3.0/ str8ts solver using z3 vil02_str8ts_solver@10g.pl Mon, 16 Feb 2026 13:01:51 GMT 0.2.2 https://pypi.org/project/str8ts-solver/0.2.2/ str8ts solver using z3 vil02_str8ts_solver@10g.pl Tue, 06 Jan 2026 20:50:15 GMT 0.2.1 https://pypi.org/project/str8ts-solver/0.2.1/ str8ts solver using z3 vil02_str8ts_solver@10g.pl Wed, 31 Dec 2025 08:54:37 GMT 0.2.0 https://pypi.org/project/str8ts-solver/0.2.0/ str8ts solver using z3 vil02_str8ts_solver@10g.pl Tue, 30 Dec 2025 11:30:34 GMT 0.1.3 https://pypi.org/project/str8ts-solver/0.1.3/ str8ts solver using z3 vil02_str8ts_solver@10g.pl Tue, 23 Dec 2025 16:19:26 GMT 0.1.2 https://pypi.org/project/str8ts-solver/0.1.2/ str8ts solver using z3 vil02_str8ts_solver@10g.pl Mon, 22 Dec 2025 17:30:21 GMT 0.1.1 https://pypi.org/project/str8ts-solver/0.1.1/ str8ts solver using z3 vil02_str8ts_solver@10g.pl Mon, 22 Dec 2025 17:24:57 GMT 0.1.0 https://pypi.org/project/str8ts-solver/0.1.0/ str8ts solver using z3 vil02_str8ts_solver@10g.pl Mon, 22 Dec 2025 15:43:42 GMT