nab-resolver 0.0.1a0__tar.gz

nab_resolver-0.0.1a0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Damian Shaw
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

nab_resolver-0.0.1a0/PKG-INFO

@@ -0,0 +1,56 @@
+Metadata-Version: 2.4
+Name: nab-resolver
+Version: 0.0.1a0
+Summary: Generic PubGrub dependency-resolver core
+Project-URL: Homepage, https://github.com/notatallshaw/nab
+Project-URL: Documentation, https://nab.readthedocs.io/
+Project-URL: Issues, https://github.com/notatallshaw/nab/issues
+Project-URL: Source, https://github.com/notatallshaw/nab
+Project-URL: Changelog, https://github.com/notatallshaw/nab/blob/main/CHANGELOG.md
+Author-email: Damian Shaw <damian.peter.shaw@gmail.com>
+License-Expression: MIT
+License-File: LICENSE
+Classifier: Development Status :: 4 - Beta
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Typing :: Typed
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+
+# nab-resolver
+
+Generic PubGrub dependency resolver, parameterised over a
+`ResolverProvider` protocol.  No Python-specific knowledge: this
+package is a SAT-style solver core.  The Python provider lives in
+[`nab-python`](https://pypi.org/project/nab-python/) and the
+user-facing CLI in [`nab`](https://pypi.org/project/nab/).
+
+## What is included
+
+- Unit propagation with a cached decision-level lookup.
+- Conflict-driven clause learning with non-chronological backjumping.
+- Optimistic backjumping under culprit-count thresholds.
+- Targeted backtracking that demotes the suspected culprit's priority.
+- Dependency-clause merging across siblings of the same parent.
+- A `Range` reference type and a `RangeProtocol` extension point so
+  callers can plug in a domain-specific version-set algebra.
+
+## When to use it
+
+Pick `nab-resolver` if you are building a resolver for some
+non-Python ecosystem and want a PubGrub core with a small surface
+area.  For Python package resolution use the higher levels of the
+stack instead.
+
+## Status
+
+Pre-1.0.  The public API is the `Resolver` class plus the
+`ResolverProvider` protocol, the `Range` and `Term` types, and the
+`ResolutionError` exception.  Everything else is internal.
+
+## License
+
+MIT.  See `LICENSE` in the workspace root.

nab_resolver-0.0.1a0/README.md

@@ -0,0 +1,34 @@
+# nab-resolver
+
+Generic PubGrub dependency resolver, parameterised over a
+`ResolverProvider` protocol.  No Python-specific knowledge: this
+package is a SAT-style solver core.  The Python provider lives in
+[`nab-python`](https://pypi.org/project/nab-python/) and the
+user-facing CLI in [`nab`](https://pypi.org/project/nab/).
+
+## What is included
+
+- Unit propagation with a cached decision-level lookup.
+- Conflict-driven clause learning with non-chronological backjumping.
+- Optimistic backjumping under culprit-count thresholds.
+- Targeted backtracking that demotes the suspected culprit's priority.
+- Dependency-clause merging across siblings of the same parent.
+- A `Range` reference type and a `RangeProtocol` extension point so
+  callers can plug in a domain-specific version-set algebra.
+
+## When to use it
+
+Pick `nab-resolver` if you are building a resolver for some
+non-Python ecosystem and want a PubGrub core with a small surface
+area.  For Python package resolution use the higher levels of the
+stack instead.
+
+## Status
+
+Pre-1.0.  The public API is the `Resolver` class plus the
+`ResolverProvider` protocol, the `Range` and `Term` types, and the
+`ResolutionError` exception.  Everything else is internal.
+
+## License
+
+MIT.  See `LICENSE` in the workspace root.

nab_resolver-0.0.1a0/pyproject.toml

@@ -0,0 +1,32 @@
+[project]
+name = "nab-resolver"
+version = "0.0.1a0"
+description = "Generic PubGrub dependency-resolver core"
+readme = "README.md"
+license = "MIT"
+license-files = ["LICENSE"]
+authors = [
+    { name = "Damian Shaw", email = "damian.peter.shaw@gmail.com" },
+]
+requires-python = ">=3.10"
+classifiers = [
+    "Development Status :: 4 - Beta",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Typing :: Typed",
+]
+dependencies = []
+
+[project.urls]
+Homepage = "https://github.com/notatallshaw/nab"
+Documentation = "https://nab.readthedocs.io/"
+Issues = "https://github.com/notatallshaw/nab/issues"
+Source = "https://github.com/notatallshaw/nab"
+Changelog = "https://github.com/notatallshaw/nab/blob/main/CHANGELOG.md"
+
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"

nab_resolver-0.0.1a0/src/nab_resolver/__init__.py

@@ -0,0 +1,3 @@
+"""nab-resolver: stub release 0.0.1a0."""
+
+__version__ = "0.0.1a0"