Metadata-Version: 2.4
Name: str8ts_solver
Version: 0.3.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.8.0
Dynamic: license-file

# About `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).

[Examples](https://github.com/vil02/str8ts_solver/tree/master/examples)
and documentation can be found on [GitHub](https://github.com/vil02/str8ts_solver).
