ProofOfThought Nightly¶

This site documents the nightly prerelease channel for ProofOfThought.

Nightly builds are published from the current main branch and can include breaking changes, incomplete features, and behavior changes that have not yet been stabilized.

Install Nightly¶

pip install --pre proofofthought

To lock a reproducible environment, pin the exact prerelease version that you tested:

pip install "proofofthought==1.0.1.dev202604011230"

What To Expect¶

• Public Python imports remain z3adapter
• Nightly artifacts are validated with unit tests, package checks, and an artifact secret scan before upload
• Nightly does not promise stable compatibility between prerelease versions

Current Release¶

The currently published nightly is 1.0.1.dev202604011558, released on April 1, 2026.

See Release Notes for the staged pipeline changes included in that build.

For the main documentation site, use https://debarghaG.github.io/proofofthought/.