Skip to main content

No project description provided

Project description

pyk

API documentation

Installation

pip install kframework

For Developers

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

Use make to run common tasks (see the 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.

Project details


Release history Release notifications | RSS feed

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

kframework-7.1.64.tar.gz (213.7 kB view hashes)

Uploaded Source

Built Distribution

kframework-7.1.64-py3-none-any.whl (256.3 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page