cdclkit-native

The optional Rust engine for cdclkit. You probably do not want to install this directly.

pip install "cdclkit[native]"    # this is the one you want

That pulls this package in and wires it up. Installing cdclkit-native on its own gives you a compiled module with nothing to drive it.

What it is

cdclkit is a CDCL SAT solver written in readable Python. This package is the same solver ported to Rust, and it is bit-exact with the Python one: identical conflicts, decisions and propagations on every instance. It is not a different solver that happens to be faster — it is the same search, and a test suite compares the two counter by counter to keep it that way.

Roughly 18x faster than the pure-Python engine.

It is optional on purpose. The dependency-free Python path is the reference implementation and the one that must never break; nothing selects this engine on its own, a caller asks for it.

It also carries the proof checker

The Rust DRAT checker from the dratify crate is embedded here. On import, this module registers itself with the dratify Python package through its register_native() seam, so proof checking gets the Rust implementation too (~18x faster on large proofs) rather than only the solver.

That is why pip install "cdclkit[native]" speeds up --self-check, not just the search.

Wheels

abi3 (abi3-py310), so one wheel per platform covers every Python from 3.10 up:
Linux x86_64, aarch64 (manylinux 2.17)
macOS x86_64, arm64

No Windows: it has never been tested here, and the classifiers say so rather than implying support.

Links

Licence

Apache-2.0.

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for carlok from gravatar.com carlok

Credits

Author: Carlo Perassi

License expression

Apache-2.0
View SPDX License List

Requires

Python >=3.10

Classifiers

Report project as malware

Download files

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

Source Distribution

cdclkit_native-0.1.2.tar.gz (36.3 kB view details)

Uploaded Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

cdclkit_native-0.1.2-cp310-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (374.1 kB view details)

Uploaded CPython 3.10+manylinux: glibc 2.17+ x86-64

cdclkit_native-0.1.2-cp310-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (367.9 kB view details)

Uploaded CPython 3.10+manylinux: glibc 2.17+ ARM64

cdclkit_native-0.1.2-cp310-abi3-macosx_11_0_arm64.whl (345.4 kB view details)

Uploaded CPython 3.10+macOS 11.0+ ARM64

cdclkit_native-0.1.2-cp310-abi3-macosx_10_12_x86_64.whl (360.4 kB view details)

Uploaded CPython 3.10+macOS 10.12+ x86-64

File details

Details for the file cdclkit_native-0.1.2.tar.gz.

File metadata

  • Download URL: cdclkit_native-0.1.2.tar.gz
  • Upload date:
  • Size: 36.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for cdclkit_native-0.1.2.tar.gz
Algorithm Hash digest
SHA256 82916f4e6dfaac2a5a07cb52fdf644ae4ead30480b9f1a2826adf95487e29536
MD5 971965eb5d07e24f83f899d93cacd2d4
BLAKE2b-256 02074c8f5b7acceee0caa3fd16229e4d2c6705966f6810db5cb6eacc3f0e1c85

See more details on using hashes here.

Provenance

The following attestation bundles were made for cdclkit_native-0.1.2.tar.gz:

Publisher: release.yml on carlok/cdclkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file cdclkit_native-0.1.2-cp310-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for cdclkit_native-0.1.2-cp310-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 1a637f9addc7efcbb58ecc2560b918ca46f2f61231e5b819654c2623c67e646f
MD5 3484772edbdc80929149a66d3cba820a
BLAKE2b-256 911c4473f8f872fe0710e676842d3fb686ddd766f17fb675927511ee08811368

See more details on using hashes here.

Provenance

The following attestation bundles were made for cdclkit_native-0.1.2-cp310-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: release.yml on carlok/cdclkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file cdclkit_native-0.1.2-cp310-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for cdclkit_native-0.1.2-cp310-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 11d429dda1c6639c0c4af01542b840a417edcef955ccb3ba2a0e287c35aee602
MD5 6bc7a637d59852fd8f72139405d5af14
BLAKE2b-256 b7d9f48ed2b6c0b7179ce6d27439decb05e2ef25bfe20b418ddc84edbddcda71

See more details on using hashes here.

Provenance

The following attestation bundles were made for cdclkit_native-0.1.2-cp310-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl:

Publisher: release.yml on carlok/cdclkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file cdclkit_native-0.1.2-cp310-abi3-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for cdclkit_native-0.1.2-cp310-abi3-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 4c9bd2d5537500e13da8e6602d0f2994451f44f4b2c598f4c134c4c4079c1061
MD5 1cb7dcaa4b99664b361cb97015873904
BLAKE2b-256 b4209708803064f957ee6ca0b7e83570236f9b2f1924e66f91ad30fc036692c3

See more details on using hashes here.

Provenance

The following attestation bundles were made for cdclkit_native-0.1.2-cp310-abi3-macosx_11_0_arm64.whl:

Publisher: release.yml on carlok/cdclkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file cdclkit_native-0.1.2-cp310-abi3-macosx_10_12_x86_64.whl.

File metadata

File hashes

Hashes for cdclkit_native-0.1.2-cp310-abi3-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 c7136917d7d33446f8f57590c71bf37e5ca1142fa29b5ab8591a804da6e050de
MD5 5926c22c10e88435bb35810335c62836
BLAKE2b-256 4f5219828877af8397fbe51d879a69b510ee09237756b54299e1612accfb816a

See more details on using hashes here.

Provenance

The following attestation bundles were made for cdclkit_native-0.1.2-cp310-abi3-macosx_10_12_x86_64.whl:

Publisher: release.yml on carlok/cdclkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Release history Release notifications | RSS feed

This release

0.1.2 This release

5 files

0.1.1

5 files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page