Metadata-Version: 2.4
Name: str8ts_solver
Version: 0.1.3
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.10; extra == "dev"
Requires-Dist: xenon==0.9.3; extra == "dev"
Dynamic: license-file

# str8ts_solver

[![PyPI version](https://badge.fury.io/py/str8ts_solver.svg)](https://pypi.org/project/str8ts_solver/)
[![Quality Gate Status](https://sonarcloud.io/api/project_badges/measure?project=vil02_str8ts_solver&metric=alert_status)](https://sonarcloud.io/summary/new_code?id=vil02_str8ts_solver)
[![codecov](https://codecov.io/gh/vil02/str8ts_solver/graph/badge.svg?token=SWO6HG0D91)](https://codecov.io/gh/vil02/str8ts_solver)
[![CodeFactor](https://www.codefactor.io/repository/github/vil02/str8ts_solver/badge)](https://www.codefactor.io/repository/github/vil02/str8ts_solver)
[![Codacy Badge](https://app.codacy.com/project/badge/Grade/446f49b571ab4797a29039fbb8a6bfbe)](https://app.codacy.com/gh/vil02/str8ts_solver/dashboard?utm_source=gh&utm_medium=referral&utm_content=&utm_campaign=Badge_grade)
[![OpenSSF Scorecard](https://api.securityscorecards.dev/projects/github.com/vil02/str8ts_solver/badge)](https://securityscorecards.dev/viewer/?uri=github.com/vil02/str8ts_solver)

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