Metadata-Version: 2.1
Name: kframework
Version: 7.1.19
Summary: 
Author: Runtime Verification, Inc.
Author-email: contact@runtimeverification.com
Requires-Python: >=3.10,<4.0
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Requires-Dist: cmd2 (>=2.4.2,<3.0.0)
Requires-Dist: coloredlogs (>=15.0.1,<16.0.0)
Requires-Dist: filelock (>=3.9.0,<4.0.0)
Requires-Dist: graphviz (>=0.20.1,<0.21.0)
Requires-Dist: psutil (==5.9.5)
Requires-Dist: pybind11 (>=2.10.3,<3.0.0)
Requires-Dist: pytest
Requires-Dist: textual (>=0.27.0,<0.28.0)
Requires-Dist: tomli (>=2.0.1,<3.0.0)
Requires-Dist: xdg-base-dirs (>=6.0.1,<7.0.0)
Description-Content-Type: text/markdown

# pyk

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


## Installation

```bash
pip install kframework
```


## For Developers

Prerequsites: `python >= 3.10`, `poetry >= 1.3.2`.

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

For interactive use, spawn a shell with `poetry shell` (after `poetry install`), then run an interpreter.

