Metadata-Version: 2.1
Name: kframework
Version: 7.0.41
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: 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

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

```bash
make build
pip install dist/*.whl
```


## For Developers

Use `make` to run common tasks (see the [Makefile](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

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

