About str8ts_solver

Str8ts solver using z3.

Getting started

This package is available at PyPI. It can be installed using the command

pip install str8ts_solver

The examples directory contains scripts showing basic usage of this package.

Information for developers

This project is setup using uv. In order to create a development environment, after cloning this repository, run the command like:

uv pip install --editable .

tests are expressed using pytest.

References

• Str8ts
• Z3 Theorem Prover