Metadata-Version: 2.4
Name: kframework
Version: 7.1.276
Author-email: "Runtime Verification, Inc." <contact@runtimeverification.com>
License-File: LICENSE.md
Requires-Python: ~=3.10
Requires-Dist: coloredlogs<16,>=15.0.1
Requires-Dist: cookiecutter<3,>=2.6.0
Requires-Dist: filelock<4,>=3.9.0
Requires-Dist: graphviz>=0.20.1
Requires-Dist: hypothesis<7,>=6.103.1
Requires-Dist: networkx<4,>=3.4.2
Requires-Dist: psutil<6,>=5.9.5
Requires-Dist: pybind11<3,>=2.10.3
Requires-Dist: pytest
Requires-Dist: textual>=0.27.0
Requires-Dist: tomli<3,>=2.0.1
Requires-Dist: xdg-base-dirs<7,>=6.0.1
Description-Content-Type: text/markdown

# pyk

[API documentation](https://kframework.org/pyk/)


## Installation

```bash
pip install kframework
```


## For Developers

+Prerequsites: `python >= 3.10`, [`uv`](https://docs.astral.sh/uv/).

Use `make` to run common tasks
(see the [Makefile](https://github.com/runtimeverification/k/blob/master/pyk/Makefile)
for a complete list of available targets).

* `make build`: Build wheel
* `make check`: Check code style
* `make format`: Format code
* `make test-unit`: Run unit tests
* `make test-integration`: Run integration tests
