Metadata-Version: 2.4
Name: str8ts_solver
Version: 0.1.0
Summary: str8ts solver using z3
Author: Piotr Idzik
Author-email: vil02_str8ts_solver@10g.pl
Project-URL: repository, https://github.com/vil02/str8ts_solver
Keywords: str8ts,str8ts solver,z3
Requires-Python: >=3.12
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: z3-solver==4.15.4.0
Provides-Extra: dev
Requires-Dist: black==25.12.0; extra == "dev"
Requires-Dist: coverage==7.13.0; extra == "dev"
Requires-Dist: flake8-bugbear==25.11.29; extra == "dev"
Requires-Dist: flake8-pytest-style==2.2.0; extra == "dev"
Requires-Dist: flake8==7.3.0; extra == "dev"
Requires-Dist: isort==7.0.0; extra == "dev"
Requires-Dist: mypy==1.19.1; extra == "dev"
Requires-Dist: pylint==4.0.4; extra == "dev"
Requires-Dist: pyright[nodejs]==1.1.407; extra == "dev"
Requires-Dist: pytest==9.0.2; extra == "dev"
Requires-Dist: ruff==0.14.9; extra == "dev"
Requires-Dist: xenon==0.9.3; extra == "dev"
Dynamic: license-file

# str8ts_solver/

[Str8ts](https://en.wikipedia.org/wiki/Str8ts) solver using [z3](https://github.com/Z3Prover/z3).
