PyreWire
The ci workflow runs the full lint gate (black, isort, flake8, mypy)
and the test matrix; docs builds and publishes the documentation site.
A Python wrapper for wirelog - a declarative dataflow analysis engine.
Overview
PyreWire provides a Pythonic interface to wirelog, enabling you to write datalog programs and perform analysis programmatically from Python.
Installation
pip install pyrewire
Requirements: CPython 3.11, 3.12, 3.13, 3.14, or 3.15.
See the support matrix for v1 wheel targets and
source-install requirements, including supported OS/architecture
combinations and libwirelog handling. The
API stability policy defines the v1 stable
public import boundary and deprecation policy.
Quick Start
PyreWire programs are written in wirelog's datalog dialect and driven through one of the high-level surfaces below.
One-shot evaluation with BatchProgram
Use BatchProgram to parse a program, optimize it, and compute the full
IDB closure in a single pass:
from pyrewire import BatchProgram
# A tiny reachability program: two edges plus a transitive-closure rule.
src = """
.decl edge(x: int32, y: int32)
.decl reach(x: int32, y: int32)
edge(1, 2). edge(2, 3).
reach(X, Y) :- edge(X, Y).
reach(X, Z) :- reach(X, Y), edge(Y, Z).
"""
with BatchProgram.from_string(src) as program:
program.optimize()
result = program.evaluate()
try:
print(result.cardinality("reach")) # 3
print(result.relation("reach")) # [(1, 2), (2, 3), (1, 3)]
finally:
result.close()
Incremental work with EasySession
EasySession interns strings automatically and lets you insert /
remove facts, then either snapshot a relation's full contents or
step the engine for incremental deltas. A session commits to a single
mode the first time you query it, so use a fresh session per mode:
from pyrewire import EasySession
SRC = """
.decl friend(a: symbol, b: symbol)
.decl mutual(a: symbol, b: symbol)
mutual(A, B) :- friend(A, B), friend(B, A).
"""
# snapshot(): read a relation's full IDB contents.
with EasySession(SRC) as s:
s.insert("friend", ["alice", "bob"])
s.insert("friend", ["bob", "alice"])
print(s.snapshot("mutual")) # [('alice', 'bob'), ('bob', 'alice')]
# step(): drive one fixpoint step and read the incremental deltas.
with EasySession(SRC) as s:
s.insert("friend", ["alice", "bob"])
s.insert("friend", ["bob", "alice"])
for relation, row, diff in s.step():
print(relation, row, diff) # e.g. mutual ('alice', 'bob') 1
For caller-owned programs, backend selection, and NumPy zero-copy
inserts, see Session; for asyncio integration see AsyncEasySession,
AsyncSession, and AsyncBatchProgram. The
Quickstart walks through each surface.
Features
- Pythonic API over wirelog's declarative dataflow engine
- Batch closure (
BatchProgram) and incremental sessions (EasySession,Session) - NumPy zero-copy batched inserts on the advanced
SessionAPI - asyncio wrappers that satisfy wirelog's single-threaded call invariant
Development
Setup
git clone https://github.com/semantic-reasoning/PyreWire
cd PyreWire
pip install -e ".[dev]"
Running Tests
pytest
Code Quality
black .
isort .
flake8 .
mypy .
Community & Contributing
We appreciate your interest in contributing to PyreWire!
- Contributing Guide: Learn how to set up development, run tests, and submit pull requests
- Code of Conduct: Read our community standards and expected behavior
- Security Policy: Report security vulnerabilities responsibly
License
PyreWire (Python Wrapper): dual-licensed under either of
- Apache License, Version 2.0
- GNU General Public License, version 3 or (at your option) any later version
at your option.
wirelog (Core Engine): LGPL-3.0 / Commercial Dual License
Note: PyreWire links to the wirelog core engine. Use of the core engine is subject to its respective license terms.
Contributing
Contributions are welcome! Please open an issue or submit a pull request.
1 maintainer
Metadata
1 maintainer
Release files for pyrewire 1.1.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | |
|---|---|---|---|---|
| pyrewire-1.1.3.tar.gz | 160.4 kB | With provenance | Details |
Built distributions (wheels)
Total release size: 5.9 MB
Release files / pyrewire-1.1.3.tar.gz
| Download URL | pyrewire-1.1.3.tar.gz |
|---|---|
| Size | 160.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
3cb98ef63c7f7cada94a9c082e703a51b92f565bec1f9f5de196d9b85e706858
|
|
BLAKE2b-256 checksum How to use checksums |
19a6ed87b0f042f41c5f7034e61f5fa618589e2997a9fd031c91e7548ece7e93
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp315-cp315-win_amd64.whl
| Download URL | pyrewire-1.1.3-cp315-cp315-win_amd64.whl |
|---|---|
| Size | 421.9 kB |
| Tags | CPython 3.15 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
a413d618f0a8c0d12dd0c6abc430760eb5709c60a430f04779dfb672d9b62072
|
|
BLAKE2b-256 checksum How to use checksums |
bfe5b9545f331cb3194655fa3b29fd6b009ae1512c1361531ecf84975cef8284
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp315-cp315-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyrewire-1.1.3-cp315-cp315-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 379.2 kB |
| Tags | CPython 3.15 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
528f950646753bf55faeda11b9d00ff312d13b3680af42cf1448bfd5b3e45b51
|
|
BLAKE2b-256 checksum How to use checksums |
7b8b8285bb0d8061956b687d2e4c2d00be5f7bce84501ea77403c0969dcc8d91
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp315-cp315-macosx_11_0_arm64.whl
| Download URL | pyrewire-1.1.3-cp315-cp315-macosx_11_0_arm64.whl |
|---|---|
| Size | 356.9 kB |
| Tags | CPython 3.15 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
422023b9d10c22b3ea879ab3ec1088cd02032c01a45ce43d641ac42030ab9830
|
|
BLAKE2b-256 checksum How to use checksums |
beb01e5ae32931935efe89f99fe680b900c0c1a0ebc33a4e694ea063fa76ae31
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp314-cp314-win_amd64.whl
| Download URL | pyrewire-1.1.3-cp314-cp314-win_amd64.whl |
|---|---|
| Size | 421.9 kB |
| Tags | CPython 3.14 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
bb41629d0765e3320486fc460d3f5f192230b7ca83f3157ec8790451766f468e
|
|
BLAKE2b-256 checksum How to use checksums |
3f70f185177eb7912d312850932baa710695319a1435f742d3d1171c8cce8bd8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyrewire-1.1.3-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 379.2 kB |
| Tags | CPython 3.14 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
c5e9da98847849dc365fe9944dc29febce5442edade371117141936b8748d1c9
|
|
BLAKE2b-256 checksum How to use checksums |
86a5c1e7ce2ab3ec379482fff47a558cc11f0c7ca2a808d5dd01afd25d61d3f3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp314-cp314-macosx_11_0_arm64.whl
| Download URL | pyrewire-1.1.3-cp314-cp314-macosx_11_0_arm64.whl |
|---|---|
| Size | 356.9 kB |
| Tags | CPython 3.14 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
8440b028e5a781c8aa5d0da6e8a696ac85320c1bf7de61e3bdf9ab99df00ae09
|
|
BLAKE2b-256 checksum How to use checksums |
c91a7b484a9ca60a11edcaf6c09552795057b28a5cec38f95aa80e1b7568cd06
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp313-cp313-win_amd64.whl
| Download URL | pyrewire-1.1.3-cp313-cp313-win_amd64.whl |
|---|---|
| Size | 413.2 kB |
| Tags | CPython 3.13 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
7f2663822b9d648f3dbf9f6b68bc8257e5df9da5dc6d7c043e8ddad0511806b3
|
|
BLAKE2b-256 checksum How to use checksums |
d5df0a3aa41e469960e076ee114e0b3e2dfd173129a8865e7506a3a6a922e9fc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyrewire-1.1.3-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 379.2 kB |
| Tags | CPython 3.13 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
5185d60a5082cf8056b14f84d7353b8c73b31bcaf902b7b88589e1045c3d5b60
|
|
BLAKE2b-256 checksum How to use checksums |
063530e4b57c2a29f9638d792763b9cf88452d68ff8aa65a412e4587e77c5802
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp313-cp313-macosx_11_0_arm64.whl
| Download URL | pyrewire-1.1.3-cp313-cp313-macosx_11_0_arm64.whl |
|---|---|
| Size | 356.9 kB |
| Tags | CPython 3.13 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
f3ca8269b23b3b125ec3063b7a0b5f2deac3e777294a0f86cf66f3d876201874
|
|
BLAKE2b-256 checksum How to use checksums |
d418615c087de0ed01656c23e327aa9c42dd6cdbdcf778ea7be222cf78a23dc7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp312-cp312-win_amd64.whl
| Download URL | pyrewire-1.1.3-cp312-cp312-win_amd64.whl |
|---|---|
| Size | 413.2 kB |
| Tags | CPython 3.12 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
b6483e28a1fead6081d056f76e55c50a2eca29d909408108521664529f2c2724
|
|
BLAKE2b-256 checksum How to use checksums |
ef76f8e65166edd368b788aac57c5eba3327cf9b64d5c43febb5e0db92f4fba0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyrewire-1.1.3-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 379.2 kB |
| Tags | CPython 3.12 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
ed4a8b8c4dba76c52921b3a8143750c7b7808d798b9990b54bbc8874b44309d2
|
|
BLAKE2b-256 checksum How to use checksums |
7f13a41977e09fd833c2a3c79f296a1319676591e3fefa58f1bff30466164918
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp312-cp312-macosx_11_0_arm64.whl
| Download URL | pyrewire-1.1.3-cp312-cp312-macosx_11_0_arm64.whl |
|---|---|
| Size | 356.9 kB |
| Tags | CPython 3.12 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
76454fd6f9cbdb34e4b45967eb0ab0e5a0858aab6b8dcb67052a58edd89b910a
|
|
BLAKE2b-256 checksum How to use checksums |
98cc0a74916bd1f2aa8b06568948803de3fa82e64636f42f536433b7343c91d5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp311-cp311-win_amd64.whl
| Download URL | pyrewire-1.1.3-cp311-cp311-win_amd64.whl |
|---|---|
| Size | 413.2 kB |
| Tags | CPython 3.11 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
9bada04190d1afc6e98940b6ed4a6a5c6935287c6fabd4b933d83daf17af00d6
|
|
BLAKE2b-256 checksum How to use checksums |
68b80529c26d4c8fe15ae02e305fa8b9b192a38850d818aa0e85a7587e3eb22f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyrewire-1.1.3-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 379.2 kB |
| Tags | CPython 3.11 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
6c7089631a7311b8be5310a184a6704516ad881938f01b7f3712304c3ceee14c
|
|
BLAKE2b-256 checksum How to use checksums |
033a5c165849fa52960c44c4b5ebaed614d9324815e1b41486a0222e52338625
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logRelease files / pyrewire-1.1.3-cp311-cp311-macosx_11_0_arm64.whl
| Download URL | pyrewire-1.1.3-cp311-cp311-macosx_11_0_arm64.whl |
|---|---|
| Size | 356.9 kB |
| Tags | CPython 3.11 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
e65d10d5983854cb8f3e66e071ff68c977c11f7630147199fa1497cb2a6309c2
|
|
BLAKE2b-256 checksum How to use checksums |
3b6afd09c51bfdd4872c0da9dbc887abf0d480069c55e8613ba53f4e70333c0c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logSecurity for pyrewire 1.1.3
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
Full provenance
All 16 files in this release have been uploaded with provenance metadata.
Attestation for pyrewire-1.1.3.tar.gz
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 25, 2026.
Transparency logA note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
To learn more about protecting yourself from malicious actors, visit our package security documentation.
