PyPI - cdclkit - Versions diffs - 0.1.1__tar.gz → 0.1.2__tar.gz - Mend

cdclkit 0.1.1tar.gz → 0.1.2tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (38) hide show

{cdclkit-0.1.1 → cdclkit-0.1.2}/PKG-INFO RENAMED Viewed

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: cdclkit
-Version: 0.1.1
+Version: 0.1.2
 Summary: A CDCL SAT solver, preprocessor, encoding library and modelling layer, written from scratch in readable Python. Every answer comes with a certificate.
 Author: Carlo Perassi
 License-Expression: Apache-2.0
@@ -24,7 +24,7 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: dratify>=0.1.1
 Provides-Extra: native
-Requires-Dist: cdclkit-native==0.1.1; extra == "native"
+Requires-Dist: cdclkit-native==0.1.2; extra == "native"
 Dynamic: license-file
 # cdclkit
@@ -35,9 +35,17 @@ library and a modelling layer — written from scratch in readable Python.**
 Every answer comes with a certificate, and the certificate gets checked.
 ```bash
-pip install cdclkit
+pip install cdclkit              # pure Python
+pip install "cdclkit[native]"    # plus the Rust engine, ~18x faster
 ```
+Three packages, and no third-party code:
+[`cdclkit`](https://pypi.org/project/cdclkit/),
+[`dratify`](https://pypi.org/project/dratify/) (the proof checker, zero
+dependencies), and optionally
+[`cdclkit-native`](https://pypi.org/project/cdclkit-native/) (abi3 wheels for
+Linux and macOS).
 ```bash
 python3 -m cdclkit solve instance.cnf --self-check --check-model
 ```
@@ -79,15 +87,19 @@ puzzle, graph colouring, bounded model checking, circuit equivalence.
 | `portfolio` | parallel configurations |
 | `pyeq` | **experimental** — bounded equivalence of two Python integer functions |
-An optional Rust engine (`pip install cdclkit[native]`) is roughly 18x faster
+An optional Rust engine ([`cdclkit-native`](https://pypi.org/project/cdclkit-native/))
+is roughly 18x faster
 and **bit-exact** with the Python one: identical conflicts, decisions and
 propagations on every instance. The pure-Python path has zero third-party
 dependencies and is the one that must never break.
 ## Relationship to dratify
-Proof checking lives in a separate package, [`dratify`](https://github.com/carlok/dratify),
-which `cdclkit` depends on. That split is deliberate:
+Proof checking lives in a separate package,
+[`dratify`](https://pypi.org/project/dratify/)
+([source](https://github.com/carlok/dratify), also a
+[Rust crate](https://crates.io/crates/dratify)), which `cdclkit` depends on.
+That split is deliberate:
 - You should not have to install a SAT solver to verify a proof someone else
   produced.
@@ -96,7 +108,9 @@ which `cdclkit` depends on. That split is deliberate:
   solver rather than only by its own suite.
 `dratify` has no dependencies of its own, so installing `cdclkit` pulls in no
-third-party code.
+third-party code. With `[native]`, `cdclkit-native` hands its compiled checker
+to `dratify` through `register_native()`, so proof checking gets the Rust
+implementation too rather than only the solver.
 ## Performance

{cdclkit-0.1.1 → cdclkit-0.1.2}/README.md RENAMED Viewed

@@ -6,9 +6,17 @@ library and a modelling layer — written from scratch in readable Python.**
 Every answer comes with a certificate, and the certificate gets checked.
 ```bash
-pip install cdclkit
+pip install cdclkit              # pure Python
+pip install "cdclkit[native]"    # plus the Rust engine, ~18x faster
 ```
+Three packages, and no third-party code:
+[`cdclkit`](https://pypi.org/project/cdclkit/),
+[`dratify`](https://pypi.org/project/dratify/) (the proof checker, zero
+dependencies), and optionally
+[`cdclkit-native`](https://pypi.org/project/cdclkit-native/) (abi3 wheels for
+Linux and macOS).
 ```bash
 python3 -m cdclkit solve instance.cnf --self-check --check-model
 ```
@@ -50,15 +58,19 @@ puzzle, graph colouring, bounded model checking, circuit equivalence.
 | `portfolio` | parallel configurations |
 | `pyeq` | **experimental** — bounded equivalence of two Python integer functions |
-An optional Rust engine (`pip install cdclkit[native]`) is roughly 18x faster
+An optional Rust engine ([`cdclkit-native`](https://pypi.org/project/cdclkit-native/))
+is roughly 18x faster
 and **bit-exact** with the Python one: identical conflicts, decisions and
 propagations on every instance. The pure-Python path has zero third-party
 dependencies and is the one that must never break.
 ## Relationship to dratify
-Proof checking lives in a separate package, [`dratify`](https://github.com/carlok/dratify),
-which `cdclkit` depends on. That split is deliberate:
+Proof checking lives in a separate package,
+[`dratify`](https://pypi.org/project/dratify/)
+([source](https://github.com/carlok/dratify), also a
+[Rust crate](https://crates.io/crates/dratify)), which `cdclkit` depends on.
+That split is deliberate:
 - You should not have to install a SAT solver to verify a proof someone else
   produced.
@@ -67,7 +79,9 @@ which `cdclkit` depends on. That split is deliberate:
   solver rather than only by its own suite.
 `dratify` has no dependencies of its own, so installing `cdclkit` pulls in no
-third-party code.
+third-party code. With `[native]`, `cdclkit-native` hands its compiled checker
+to `dratify` through `register_native()`, so proof checking gets the Rust
+implementation too rather than only the solver.
 ## Performance

{cdclkit-0.1.1 → cdclkit-0.1.2}/cdclkit/__init__.py RENAMED Viewed

@@ -52,7 +52,7 @@ from .preprocess import Preprocessor, preprocess
 from dratify.proof import DRATChecker, MemoryProof, ProofWriter, check_proof
 from .solver import Config, SAT, Solver, Stats, UNKNOWN, UNSAT
-__version__ = "0.1.1"
+__version__ = "0.1.2"
 __all__ = [
     "CNF",

{cdclkit-0.1.1 → cdclkit-0.1.2}/cdclkit.egg-info/PKG-INFO RENAMED Viewed

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: cdclkit
-Version: 0.1.1
+Version: 0.1.2
 Summary: A CDCL SAT solver, preprocessor, encoding library and modelling layer, written from scratch in readable Python. Every answer comes with a certificate.
 Author: Carlo Perassi
 License-Expression: Apache-2.0
@@ -24,7 +24,7 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: dratify>=0.1.1
 Provides-Extra: native
-Requires-Dist: cdclkit-native==0.1.1; extra == "native"
+Requires-Dist: cdclkit-native==0.1.2; extra == "native"
 Dynamic: license-file
 # cdclkit
@@ -35,9 +35,17 @@ library and a modelling layer — written from scratch in readable Python.**
 Every answer comes with a certificate, and the certificate gets checked.
 ```bash
-pip install cdclkit
+pip install cdclkit              # pure Python
+pip install "cdclkit[native]"    # plus the Rust engine, ~18x faster
 ```
+Three packages, and no third-party code:
+[`cdclkit`](https://pypi.org/project/cdclkit/),
+[`dratify`](https://pypi.org/project/dratify/) (the proof checker, zero
+dependencies), and optionally
+[`cdclkit-native`](https://pypi.org/project/cdclkit-native/) (abi3 wheels for
+Linux and macOS).
 ```bash
 python3 -m cdclkit solve instance.cnf --self-check --check-model
 ```
@@ -79,15 +87,19 @@ puzzle, graph colouring, bounded model checking, circuit equivalence.
 | `portfolio` | parallel configurations |
 | `pyeq` | **experimental** — bounded equivalence of two Python integer functions |
-An optional Rust engine (`pip install cdclkit[native]`) is roughly 18x faster
+An optional Rust engine ([`cdclkit-native`](https://pypi.org/project/cdclkit-native/))
+is roughly 18x faster
 and **bit-exact** with the Python one: identical conflicts, decisions and
 propagations on every instance. The pure-Python path has zero third-party
 dependencies and is the one that must never break.
 ## Relationship to dratify
-Proof checking lives in a separate package, [`dratify`](https://github.com/carlok/dratify),
-which `cdclkit` depends on. That split is deliberate:
+Proof checking lives in a separate package,
+[`dratify`](https://pypi.org/project/dratify/)
+([source](https://github.com/carlok/dratify), also a
+[Rust crate](https://crates.io/crates/dratify)), which `cdclkit` depends on.
+That split is deliberate:
 - You should not have to install a SAT solver to verify a proof someone else
   produced.
@@ -96,7 +108,9 @@ which `cdclkit` depends on. That split is deliberate:
   solver rather than only by its own suite.
 `dratify` has no dependencies of its own, so installing `cdclkit` pulls in no
-third-party code.
+third-party code. With `[native]`, `cdclkit-native` hands its compiled checker
+to `dratify` through `register_native()`, so proof checking gets the Rust
+implementation too rather than only the solver.
 ## Performance

{cdclkit-0.1.1 → cdclkit-0.1.2}/cdclkit.egg-info/requires.txt RENAMED Viewed

@@ -1,4 +1,4 @@
 dratify>=0.1.1
 [native]
-cdclkit-native==0.1.1
+cdclkit-native==0.1.2

{cdclkit-0.1.1 → cdclkit-0.1.2}/pyproject.toml RENAMED Viewed

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 [project]
 name = "cdclkit"
-version = "0.1.1"
+version = "0.1.2"
 description = "A CDCL SAT solver, preprocessor, encoding library and modelling layer, written from scratch in readable Python. Every answer comes with a certificate."
 readme = "README.md"
 requires-python = ">=3.10"
@@ -35,7 +35,7 @@ dependencies = ["dratify>=0.1.1"]
 # The Rust accelerator, as abi3 wheels for Linux and macOS. Pinned exactly:
 # the two are bit-exact by construction and a mismatched pair is a divergence
 # nobody would look for. tests/test_packaging.py enforces the pin.
-native = ["cdclkit-native==0.1.1"]
+native = ["cdclkit-native==0.1.2"]
 [project.scripts]
 cdclkit = "cdclkit.__main__:main"