Kepler Formal Python package

kepler-formal provides kepler_formal, a native Python interface to the same LEC and SEC engine used by the Kepler Formal executable. NajaEDA loads or creates netlists; Kepler verifies those existing objects directly in process. Results are owning Python values.

Quick start

Load both designs through NajaEDA in one universe, then verify them:

from najaeda import naja
from kepler_formal import VerificationOptions, verify_designs

universe = naja.NLUniverse.create()
reference_db = naja.NLDB.create(universe)
reference_db.loadVerilog(["reference.v"])
reference = reference_db.getTopDesign()

implementation_db = naja.NLDB.create(universe)
implementation_db.loadVerilog(["implementation.v"])
implementation = implementation_db.getTopDesign()

result = verify_designs(
    reference,
    implementation,
    options=VerificationOptions(log_file="verification.log"),
)
print(result.status, result.reason)
# Both netlists remain available for editing and repeated verification.

The caller owns the designs, databases, and universe. Kepler borrows them without copying or serializing them, and does not destroy them when a call succeeds or fails. Load libraries and primitives with NajaEDA as part of design preparation. YAML/JSON configuration and file-based verification remain in the standalone kepler-formal executable.

Shared NajaEDA runtime and live designs

najaeda is a separate runtime dependency. kepler_formal.najaeda and its submodules are compatibility aliases to that original package. Both APIs share one native runtime and live universe. Kepler validates NajaEDA’s ABI, native build, and runtime identity before borrowing an object.

from_najaeda() accepts a raw SNLDesign or a high-level najaeda.netlist.Instance. It resolves an Instance’s current model immediately and returns a NativeDesign handle:

from najaeda import netlist
from kepler_formal import from_najaeda

universe.setTopDesign(reference)
reference_handle = from_najaeda(netlist.get_top())
universe.setTopDesign(implementation)
implementation_handle = from_najaeda(netlist.get_top())
result = verify_designs(reference_handle, implementation_handle)

Changing the selected top later does not retarget a handle. Edits to the captured design remain visible because no snapshot is made. The handle retains the Python wrappers; ownership of the native design stays with the caller. Destroying the design or resetting the universe invalidates its handles. verify_designs() accepts handles or raw designs; high-level Instances must be captured explicitly.

Options and results

VerificationOptions selects VerificationMode, Solver, SecEngine, and SecEncoding and provides max_k, allow_boundary_mismatch, report_skipped_outputs, log_file, and log_level. Enum fields accept their exact string values. SEC engine, encoding, and bound options require SEC; boundary-mismatch handling requires LEC.

Use result.status for the verdict: the historical native exit_code is not mode-independent, and LEC returns zero for both equivalent and different designs. Non-equivalence, partial proof, inconclusive, unsupported, and ordinary operational-error outcomes are returned as values. Invalid arguments raise TypeError or ValueError; destroyed designs raise ReferenceError; runtime-safety failures and unexpected binding exceptions raise RuntimeError.

VerificationResult contains the status, mode, actual log path, SEC bound, reason, extraction/proof counters, and output-name tuples. Its input_format is naja_design. The result is frozen and remains valid after the caller later destroys the designs.

coverage_percent is 100 * covered_outputs / total_outputs. It measures observed-output extraction coverage. proven_outputs and unproven_outputs describe proof progress when the engine reports it; per-output names are not available on every engine path. Check status for the verdict. skipped_observed_outputs identifies outputs excluded by extraction or coverage limitations.

Process constraints

Verification calls are synchronous, serialized, non-reentrant, and hold Python’s GIL until the run finishes. Do not concurrently read, mutate, delete, or reset the shared NajaEDA universe from native threads. There is no in-process timeout or cancellation hook; callers that require hard cancellation or crash isolation should manage the Python invocation in a separate process.

Kepler restores the caller’s top selections, DNL, ordering metadata, expression caches, configuration, and logger references after each call. It temporarily replaces spdlog’s process-global default logger; unrelated native threads using that logger must be coordinated.

See docs/python-api.md for build instructions, the option table, result-field semantics, and lifecycle details.

Metadata

Release files for kepler-formal 0.5.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Built distributions (wheels)

Table of built distributions (wheels) for kepler-formal 0.5.0
File	Interpreter	ABI	Platform	Reset
kepler_formal-0.5.0-cp315-cp315-win_amd64.whl 1.6 MB Sep 16, 2026	CPython 3.15	CPython 3.15	Windows x86-64	Details
kepler_formal-0.5.0-cp315-cp315-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 2.1 MB Sep 16, 2026	CPython 3.15	CPython 3.15	Linux glibc 2.27+ x86-64, Linux glibc 2.28+ x86-64	Details
kepler_formal-0.5.0-cp315-cp315-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl 2.0 MB Sep 16, 2026	CPython 3.15	CPython 3.15	Linux glibc 2.26+ ARM64, Linux glibc 2.28+ ARM64	Details
kepler_formal-0.5.0-cp315-cp315-macosx_11_0_arm64.whl 1.7 MB Sep 16, 2026	CPython 3.15	CPython 3.15	macOS 11.0+ ARM64	Details
kepler_formal-0.5.0-cp314-cp314t-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 2.1 MB Sep 16, 2026	CPython 3.14	CPython 3.14 free-threading	Linux glibc 2.27+ x86-64, Linux glibc 2.28+ x86-64	Details
kepler_formal-0.5.0-cp314-cp314t-macosx_11_0_arm64.whl 1.7 MB Sep 16, 2026	CPython 3.14	CPython 3.14 free-threading	macOS 11.0+ ARM64	Details
kepler_formal-0.5.0-cp314-cp314-win_amd64.whl 1.6 MB Sep 16, 2026	CPython 3.14	CPython 3.14	Windows x86-64	Details
kepler_formal-0.5.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 2.1 MB Sep 16, 2026	CPython 3.14	CPython 3.14	Linux glibc 2.27+ x86-64, Linux glibc 2.28+ x86-64	Details
kepler_formal-0.5.0-cp314-cp314-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl 2.0 MB Sep 16, 2026	CPython 3.14	CPython 3.14	Linux glibc 2.26+ ARM64, Linux glibc 2.28+ ARM64	Details
kepler_formal-0.5.0-cp314-cp314-macosx_11_0_arm64.whl 1.7 MB Sep 16, 2026	CPython 3.14	CPython 3.14	macOS 11.0+ ARM64	Details
kepler_formal-0.5.0-cp313-cp313-win_amd64.whl 1.6 MB Sep 16, 2026	CPython 3.13	CPython 3.13	Windows x86-64	Details
kepler_formal-0.5.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 2.1 MB Sep 16, 2026	CPython 3.13	CPython 3.13	Linux glibc 2.27+ x86-64, Linux glibc 2.28+ x86-64	Details
kepler_formal-0.5.0-cp313-cp313-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl 2.0 MB Sep 16, 2026	CPython 3.13	CPython 3.13	Linux glibc 2.28+ ARM64, Linux glibc 2.26+ ARM64	Details
kepler_formal-0.5.0-cp313-cp313-macosx_11_0_arm64.whl 1.7 MB Sep 16, 2026	CPython 3.13	CPython 3.13	macOS 11.0+ ARM64	Details
kepler_formal-0.5.0-cp312-cp312-win_amd64.whl 1.6 MB Sep 16, 2026	CPython 3.12	CPython 3.12	Windows x86-64	Details
kepler_formal-0.5.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 2.1 MB Sep 16, 2026	CPython 3.12	CPython 3.12	Linux glibc 2.27+ x86-64, Linux glibc 2.28+ x86-64	Details
kepler_formal-0.5.0-cp312-cp312-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl 2.0 MB Sep 16, 2026	CPython 3.12	CPython 3.12	Linux glibc 2.26+ ARM64, Linux glibc 2.28+ ARM64	Details
kepler_formal-0.5.0-cp312-cp312-macosx_11_0_arm64.whl 1.7 MB Sep 16, 2026	CPython 3.12	CPython 3.12	macOS 11.0+ ARM64	Details
kepler_formal-0.5.0-cp311-cp311-win_amd64.whl 1.6 MB Sep 16, 2026	CPython 3.11	CPython 3.11	Windows x86-64	Details
kepler_formal-0.5.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 2.1 MB Sep 16, 2026	CPython 3.11	CPython 3.11	Linux glibc 2.27+ x86-64, Linux glibc 2.28+ x86-64	Details
kepler_formal-0.5.0-cp311-cp311-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl 2.0 MB Sep 16, 2026	CPython 3.11	CPython 3.11	Linux glibc 2.26+ ARM64, Linux glibc 2.28+ ARM64	Details
kepler_formal-0.5.0-cp311-cp311-macosx_11_0_arm64.whl 1.7 MB Sep 16, 2026	CPython 3.11	CPython 3.11	macOS 11.0+ ARM64	Details
kepler_formal-0.5.0-cp310-cp310-win_amd64.whl 1.6 MB Sep 16, 2026	CPython 3.10	CPython 3.10	Windows x86-64	Details
kepler_formal-0.5.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl 2.1 MB Sep 16, 2026	CPython 3.10	CPython 3.10	Linux glibc 2.27+ x86-64, Linux glibc 2.28+ x86-64	Details
kepler_formal-0.5.0-cp310-cp310-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl 2.0 MB Sep 16, 2026	CPython 3.10	CPython 3.10	Linux glibc 2.28+ ARM64, Linux glibc 2.26+ ARM64	Details
kepler_formal-0.5.0-cp310-cp310-macosx_11_0_arm64.whl 1.7 MB Sep 16, 2026	CPython 3.10	CPython 3.10	macOS 11.0+ ARM64	Details

Total release size: 48.0 MB

Release files / kepler_formal-0.5.0-cp315-cp315-win_amd64.whl

Download URL	kepler_formal-0.5.0-cp315-cp315-win_amd64.whl
Size	1.6 MB
Tags	CPython 3.15 Windows x86-64
SHA-256 checksum How to use checksums	`b6afd6329b55a91f3d755b0c64085da3ff1e2b80ee3f2bc04c05ea82c6948629`
BLAKE2b-256 checksum How to use checksums	`fa5a3f253701ddad20d691ef6e5388848a5b6839d19867fec58adc1f441da2b9`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

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.

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp315-cp315-win_amd64.whl
SHA-256 checksum: b6afd6329b55a91f3d755b0c64085da3ff1e2b80ee3f2bc04c05ea82c6948629 Verifying attestations

Release files / kepler_formal-0.5.0-cp315-cp315-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	kepler_formal-0.5.0-cp315-cp315-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	2.1 MB
Tags	CPython 3.15 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`d9529150fa6bab5f1f36ee5158e32a935152415c20f0b546b379dbec4a7432f0`
BLAKE2b-256 checksum How to use checksums	`53d60daebaccb0f9bd3bb721c730c99e3b62da32727c868f23205da7c62bf9f5`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp315-cp315-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: d9529150fa6bab5f1f36ee5158e32a935152415c20f0b546b379dbec4a7432f0 Verifying attestations

Release files / kepler_formal-0.5.0-cp315-cp315-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl

Download URL	kepler_formal-0.5.0-cp315-cp315-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
Size	2.0 MB
Tags	CPython 3.15 Linux glibc 2.26+ ARM64 Linux glibc 2.28+ ARM64
SHA-256 checksum How to use checksums	`25fdd4583b8bdf84ecc11e869d3619608224e65500eb3f0a7db63954652c9dfe`
BLAKE2b-256 checksum How to use checksums	`44004bfc0b26f8ea0d70681faf05b6f2c8384eceed72a58fe54eab29c82de918`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp315-cp315-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
SHA-256 checksum: 25fdd4583b8bdf84ecc11e869d3619608224e65500eb3f0a7db63954652c9dfe Verifying attestations

Release files / kepler_formal-0.5.0-cp315-cp315-macosx_11_0_arm64.whl

Download URL	kepler_formal-0.5.0-cp315-cp315-macosx_11_0_arm64.whl
Size	1.7 MB
Tags	CPython 3.15 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`93d7efa5728939783639a001e528711505c2c175262d99f0fe230367a3b01534`
BLAKE2b-256 checksum How to use checksums	`6475488a4b06f4dc3fcd34ef1c665c2e653b58d09de366e9c14eedab48c9226b`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp315-cp315-macosx_11_0_arm64.whl
SHA-256 checksum: 93d7efa5728939783639a001e528711505c2c175262d99f0fe230367a3b01534 Verifying attestations

Release files / kepler_formal-0.5.0-cp314-cp314t-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	kepler_formal-0.5.0-cp314-cp314t-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	2.1 MB
Tags	CPython 3.14 CPython 3.14 free-threading Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`3daf812233f7c5913483c21ff312a393643a113c712434e12119c014e67c4fc4`
BLAKE2b-256 checksum How to use checksums	`a009e6973112ab8433af79ff2f1ec0738cffc545f5a7a6e3be413c316ee79302`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp314-cp314t-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 3daf812233f7c5913483c21ff312a393643a113c712434e12119c014e67c4fc4 Verifying attestations

Release files / kepler_formal-0.5.0-cp314-cp314t-macosx_11_0_arm64.whl

Download URL	kepler_formal-0.5.0-cp314-cp314t-macosx_11_0_arm64.whl
Size	1.7 MB
Tags	CPython 3.14 CPython 3.14 free-threading macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`52dbd201048505309ccd256b335f6cc7652dd6dd0e33733bda4093a17b8f2c11`
BLAKE2b-256 checksum How to use checksums	`a725505c1dde0e037627e0d327dd9c197fdbb3f026612da66be08db145999954`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp314-cp314t-macosx_11_0_arm64.whl
SHA-256 checksum: 52dbd201048505309ccd256b335f6cc7652dd6dd0e33733bda4093a17b8f2c11 Verifying attestations

Release files / kepler_formal-0.5.0-cp314-cp314-win_amd64.whl

Download URL	kepler_formal-0.5.0-cp314-cp314-win_amd64.whl
Size	1.6 MB
Tags	CPython 3.14 Windows x86-64
SHA-256 checksum How to use checksums	`777d1b780ad48a2993c7ed9105db471e49291b36b0646792940a39ab117797b4`
BLAKE2b-256 checksum How to use checksums	`26243caebb63966de72aab047aec16c721e7dadcbe16bad170a70fe647ef028c`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp314-cp314-win_amd64.whl
SHA-256 checksum: 777d1b780ad48a2993c7ed9105db471e49291b36b0646792940a39ab117797b4 Verifying attestations

Release files / kepler_formal-0.5.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	kepler_formal-0.5.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	2.1 MB
Tags	CPython 3.14 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`68ff4565b476f07ae76e7b5aa39ae58021a86567aaab083b1b314c1ddcc96275`
BLAKE2b-256 checksum How to use checksums	`48672de1ea62bddcd05e850ad2461ac84c6bf984787f21fb3e0d80e69133973c`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 68ff4565b476f07ae76e7b5aa39ae58021a86567aaab083b1b314c1ddcc96275 Verifying attestations

Release files / kepler_formal-0.5.0-cp314-cp314-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl

Download URL	kepler_formal-0.5.0-cp314-cp314-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
Size	2.0 MB
Tags	CPython 3.14 Linux glibc 2.26+ ARM64 Linux glibc 2.28+ ARM64
SHA-256 checksum How to use checksums	`a0764a79e03ee9097d9ac2b3ac0d38844948b72c5b3a8c76d70481339cffa4ba`
BLAKE2b-256 checksum How to use checksums	`48b42dbb5c1926ad68b634962a703154b285400a6a0f9acb3da9b0d40dfc501d`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp314-cp314-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
SHA-256 checksum: a0764a79e03ee9097d9ac2b3ac0d38844948b72c5b3a8c76d70481339cffa4ba Verifying attestations

Release files / kepler_formal-0.5.0-cp314-cp314-macosx_11_0_arm64.whl

Download URL	kepler_formal-0.5.0-cp314-cp314-macosx_11_0_arm64.whl
Size	1.7 MB
Tags	CPython 3.14 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`cb9dbe743b014cfb8c704331493266146db800dcb4dd697d30e8822395e1dc2d`
BLAKE2b-256 checksum How to use checksums	`682aab1f6128c1492f15ef29448a3d54bc14285074e6a9d42dc49afc2c86eaf1`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp314-cp314-macosx_11_0_arm64.whl
SHA-256 checksum: cb9dbe743b014cfb8c704331493266146db800dcb4dd697d30e8822395e1dc2d Verifying attestations

Release files / kepler_formal-0.5.0-cp313-cp313-win_amd64.whl

Download URL	kepler_formal-0.5.0-cp313-cp313-win_amd64.whl
Size	1.6 MB
Tags	CPython 3.13 Windows x86-64
SHA-256 checksum How to use checksums	`88ac4fff2f60d1619e2f1aaaa6a6c0c2ccae7da294ff9bce1162c3093a49c41c`
BLAKE2b-256 checksum How to use checksums	`2bb0018bcfcea6bf18080b7c2ac69537a50c5ef07d8b9b008fb926406cdf025b`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp313-cp313-win_amd64.whl
SHA-256 checksum: 88ac4fff2f60d1619e2f1aaaa6a6c0c2ccae7da294ff9bce1162c3093a49c41c Verifying attestations

Release files / kepler_formal-0.5.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	kepler_formal-0.5.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	2.1 MB
Tags	CPython 3.13 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`f2a3be05fb5b4170105e87b11bf289b66477358ee6785c29c63ba886da1f5599`
BLAKE2b-256 checksum How to use checksums	`4a4e7ab299b9589f3385fda7d61a42e9e7ab14e3615082fcaf5b3a75e1637ae9`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: f2a3be05fb5b4170105e87b11bf289b66477358ee6785c29c63ba886da1f5599 Verifying attestations

Release files / kepler_formal-0.5.0-cp313-cp313-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl

Download URL	kepler_formal-0.5.0-cp313-cp313-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
Size	2.0 MB
Tags	CPython 3.13 Linux glibc 2.26+ ARM64 Linux glibc 2.28+ ARM64
SHA-256 checksum How to use checksums	`39cf3d42ba8376b3a54d2a239afbf130f49416baaa0cead27a7ac004f93678e9`
BLAKE2b-256 checksum How to use checksums	`78ea75513b5e54de6345cdce5672a1aa448490f1117e106dc65915e64bb63159`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp313-cp313-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
SHA-256 checksum: 39cf3d42ba8376b3a54d2a239afbf130f49416baaa0cead27a7ac004f93678e9 Verifying attestations

Release files / kepler_formal-0.5.0-cp313-cp313-macosx_11_0_arm64.whl

Download URL	kepler_formal-0.5.0-cp313-cp313-macosx_11_0_arm64.whl
Size	1.7 MB
Tags	CPython 3.13 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`9a44bcc8b4ebdcbc3fca602b4ea5b46176eeef79def727d19d5d30f3fe517cf4`
BLAKE2b-256 checksum How to use checksums	`f4a16caf8dbfb2e682395cc0b6c2b8f066ea867c237ba1533caf0b7739543cf9`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp313-cp313-macosx_11_0_arm64.whl
SHA-256 checksum: 9a44bcc8b4ebdcbc3fca602b4ea5b46176eeef79def727d19d5d30f3fe517cf4 Verifying attestations

Release files / kepler_formal-0.5.0-cp312-cp312-win_amd64.whl

Download URL	kepler_formal-0.5.0-cp312-cp312-win_amd64.whl
Size	1.6 MB
Tags	CPython 3.12 Windows x86-64
SHA-256 checksum How to use checksums	`2ed8f2b56683156989eff69f121c062896716921a9e6bbbef7e815c3d3a08df2`
BLAKE2b-256 checksum How to use checksums	`525c11fe1ad7f5a87181559591700e065c0868bff32ad34cefa94c042623c45d`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp312-cp312-win_amd64.whl
SHA-256 checksum: 2ed8f2b56683156989eff69f121c062896716921a9e6bbbef7e815c3d3a08df2 Verifying attestations

Release files / kepler_formal-0.5.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	kepler_formal-0.5.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	2.1 MB
Tags	CPython 3.12 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`2420e8a8b27f5421f77150e100e114065818e62b86249406ee789b56e27391e6`
BLAKE2b-256 checksum How to use checksums	`df9549f29ab5d10fd60849091fbe841e6b08669853503d8d4539145d77fe073b`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 2420e8a8b27f5421f77150e100e114065818e62b86249406ee789b56e27391e6 Verifying attestations

Release files / kepler_formal-0.5.0-cp312-cp312-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl

Download URL	kepler_formal-0.5.0-cp312-cp312-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
Size	2.0 MB
Tags	CPython 3.12 Linux glibc 2.26+ ARM64 Linux glibc 2.28+ ARM64
SHA-256 checksum How to use checksums	`0e3f1a9d7d846d107d5f950a743c18f67935dd474d5eb7608b32c9da2f25fa65`
BLAKE2b-256 checksum How to use checksums	`61171bc0b1bb5deb80a7479c47fa012572fe2e638bb93db4f52869a9120fc2ff`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp312-cp312-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
SHA-256 checksum: 0e3f1a9d7d846d107d5f950a743c18f67935dd474d5eb7608b32c9da2f25fa65 Verifying attestations

Release files / kepler_formal-0.5.0-cp312-cp312-macosx_11_0_arm64.whl

Download URL	kepler_formal-0.5.0-cp312-cp312-macosx_11_0_arm64.whl
Size	1.7 MB
Tags	CPython 3.12 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`81622da1b91ca0f228aa1b68abd7a2333aca9d91f33aeec157eed81c7642b2f6`
BLAKE2b-256 checksum How to use checksums	`df04ab7c2bc8065396da4123441b85f587f9384c15a206c7ee36e18e04a19565`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp312-cp312-macosx_11_0_arm64.whl
SHA-256 checksum: 81622da1b91ca0f228aa1b68abd7a2333aca9d91f33aeec157eed81c7642b2f6 Verifying attestations

Release files / kepler_formal-0.5.0-cp311-cp311-win_amd64.whl

Download URL	kepler_formal-0.5.0-cp311-cp311-win_amd64.whl
Size	1.6 MB
Tags	CPython 3.11 Windows x86-64
SHA-256 checksum How to use checksums	`9cb69db29a7eccf1530e66e3296902b952053052847d891d23a86c8bc3bdb8f2`
BLAKE2b-256 checksum How to use checksums	`66e8dff97d8f0a3a8f2245d6602daea1b70e48934c556037ef81b590c9575134`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp311-cp311-win_amd64.whl
SHA-256 checksum: 9cb69db29a7eccf1530e66e3296902b952053052847d891d23a86c8bc3bdb8f2 Verifying attestations

Release files / kepler_formal-0.5.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	kepler_formal-0.5.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	2.1 MB
Tags	CPython 3.11 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`19016aceaaa9aadae420001a9896ee015c4d52adc91f5afea4a33bd48d67aab0`
BLAKE2b-256 checksum How to use checksums	`bd87152526f36c76e4650046b7a01c856b4cb96cd9f0e79cead3513de2ef9ceb`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 19016aceaaa9aadae420001a9896ee015c4d52adc91f5afea4a33bd48d67aab0 Verifying attestations

Release files / kepler_formal-0.5.0-cp311-cp311-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl

Download URL	kepler_formal-0.5.0-cp311-cp311-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
Size	2.0 MB
Tags	CPython 3.11 Linux glibc 2.26+ ARM64 Linux glibc 2.28+ ARM64
SHA-256 checksum How to use checksums	`b7169ecf2bd3b148db27021cef22a435f93a2fa9cef7b068489444aab8290b39`
BLAKE2b-256 checksum How to use checksums	`dfeac4897fedc8436969dbdd39cc46a967075791a5434715b101ee70c385a8e6`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp311-cp311-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
SHA-256 checksum: b7169ecf2bd3b148db27021cef22a435f93a2fa9cef7b068489444aab8290b39 Verifying attestations

Release files / kepler_formal-0.5.0-cp311-cp311-macosx_11_0_arm64.whl

Download URL	kepler_formal-0.5.0-cp311-cp311-macosx_11_0_arm64.whl
Size	1.7 MB
Tags	CPython 3.11 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`eb03de3bd47a56b1416e50597728dbb11097c727e4471799e5bae14533a66d01`
BLAKE2b-256 checksum How to use checksums	`4382a2ebdc3f6c264634d7d61128bad600ed69319eb4e9133de576526b496c9a`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp311-cp311-macosx_11_0_arm64.whl
SHA-256 checksum: eb03de3bd47a56b1416e50597728dbb11097c727e4471799e5bae14533a66d01 Verifying attestations

Release files / kepler_formal-0.5.0-cp310-cp310-win_amd64.whl

Download URL	kepler_formal-0.5.0-cp310-cp310-win_amd64.whl
Size	1.6 MB
Tags	CPython 3.10 Windows x86-64
SHA-256 checksum How to use checksums	`7c15b560403d62e2251377264d705eab7ad8c032ba15039f74043b5cd71db9d5`
BLAKE2b-256 checksum How to use checksums	`da66bddc663a3c58a3f7e98d4da5d83cf2b71181e90ea7b5bd4bea152d26f9c0`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp310-cp310-win_amd64.whl
SHA-256 checksum: 7c15b560403d62e2251377264d705eab7ad8c032ba15039f74043b5cd71db9d5 Verifying attestations

Release files / kepler_formal-0.5.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Download URL	kepler_formal-0.5.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Size	2.1 MB
Tags	CPython 3.10 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`c3ff4e147cdc0fd32221bc746a084356d02141196e988f20844b23a9e945b02b`
BLAKE2b-256 checksum How to use checksums	`412785bf06af9317a421740b201fe3022f4ab2f580c19400092a1e6ec9a50871`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: c3ff4e147cdc0fd32221bc746a084356d02141196e988f20844b23a9e945b02b Verifying attestations

Release files / kepler_formal-0.5.0-cp310-cp310-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl

Download URL	kepler_formal-0.5.0-cp310-cp310-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
Size	2.0 MB
Tags	CPython 3.10 Linux glibc 2.26+ ARM64 Linux glibc 2.28+ ARM64
SHA-256 checksum How to use checksums	`3669deb1853b9fd154ab9b758fb764d9b451787a0ae05885674a3dbb0dcd7d27`
BLAKE2b-256 checksum How to use checksums	`e97f852f4c5d4c2fe6b304aba39a8860aaf65d2a51fdb24aea778fdf3a48045c`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp310-cp310-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
SHA-256 checksum: 3669deb1853b9fd154ab9b758fb764d9b451787a0ae05885674a3dbb0dcd7d27 Verifying attestations

Release files / kepler_formal-0.5.0-cp310-cp310-macosx_11_0_arm64.whl

Download URL	kepler_formal-0.5.0-cp310-cp310-macosx_11_0_arm64.whl
Size	1.7 MB
Tags	CPython 3.10 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`5cb492c4919752e5edccb74fe9c5990fd2816e4f92abf6c437d9b6790248f969`
BLAKE2b-256 checksum How to use checksums	`454cb44e60381e0d93a8d95a01a700a1aeaf94796a098cd629360fda4380c1de`
Upload date	Sep 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/keplertech/kepler-formal
Publishing commit: github.com/keplertech/kepler-formal/tree/0ce1f2ebd135d89cc3082725a9e38457f12d029c

Workflow

Publishing configuration: github.com/keplertech/kepler-formal/blob/0ce1f2ebd135d89cc3082725a9e38457f12d029c/.github/workflows/python-wheels.yml
Publishing logs: github.com/keplertech/kepler-formal/actions/runs/35156828363/attempts/1

Artifact

Subject: kepler_formal-0.5.0-cp310-cp310-macosx_11_0_arm64.whl
SHA-256 checksum: 5cb492c4919752e5edccb74fe9c5990fd2816e4f92abf6c437d9b6790248f969 Verifying attestations

Release history Release notifications | RSS feed

This release

0.5.0 This release

Sep 16, 2026 26 release files

kepler-formal 0.5.0

Kepler Formal Python package

Quick start

Shared NajaEDA runtime and live designs

Options and results

Process constraints

Project links

Key dates

1 maintainer

Credits

GitHub Statistics

License

Requires

Classifiers

Metadata

Project links

Key dates

1 maintainer

Credits

GitHub Statistics

License

Requires

Classifiers

Release files for kepler-formal 0.5.0

Built distributions (wheels)

Release files / kepler_formal-0.5.0-cp315-cp315-win_amd64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / kepler_formal-0.5.0-cp315-cp315-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / kepler_formal-0.5.0-cp315-cp315-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / kepler_formal-0.5.0-cp315-cp315-macosx_11_0_arm64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / kepler_formal-0.5.0-cp314-cp314t-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / kepler_formal-0.5.0-cp314-cp314t-macosx_11_0_arm64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / kepler_formal-0.5.0-cp314-cp314-win_amd64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / kepler_formal-0.5.0-cp314-cp314-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / kepler_formal-0.5.0-cp314-cp314-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / kepler_formal-0.5.0-cp314-cp314-macosx_11_0_arm64.whl