simplesat
Prototype for SAT-based dependency handling. This is a work in progress, do not expect any API not to change at this point.
Decision gist · record as of 2026-08-14
Yes, if you need a standalone SAT-based dependency resolver and can accept an unstable API and aging codebase. The package has low install friction, no known vulnerabilities, and permissive licensing. However, the explicit prototype status and 498-day gap since the last release suggest it is not actively maintained; use it for research, prototyping, or custom tooling rather than as a drop-in replacement for production package managers. For typical Python packaging, pip or conda are more appropriate.AI-flagged interpretation of the facts on this page — verify before relying
Before you install
- Requires Python 3.8 or later.
- The package is explicitly a work-in-progress prototype with an unstable API, so production use should be approached cautiously.
- Low friction installation with three stable runtime dependencies (attrs, okonomiyaki, six).
License · maintenance · safety
BSD-3-Clause (permissive) — BSD-3-Clause is permissive; you may use, modify, and distribute this package freely provided you retain the license notice and disclaimer.
last release 2025-04-03 (498 days) · last repo commit 2025-04-03 · 2 stars
0 known vulnerabilities (OSV.dev, 2026-08-14) · 279,237 downloads/mo, #8,123 on PyPI
Alternatives
Verify before relying
pip install simplesat
from simplesat.resolver import Resolver
from simplesat.pool import Pool
pool = Pool()
resolver = Resolver(pool, policy=None)
# Add packages and constraints, then call resolver.resolve(request)- Whether the API stability warnings in the description apply to the current 0.9.2 release or remain a general caveat.
- Real-world performance characteristics when solving large dependency graphs or highly constrained scenarios.
- Whether the aging maintenance status (498 days since last release) signals that the project is stable or abandoned.
What it is and what it does
Simplesat is a pure-Python implementation of a SAT solver designed to handle package dependency resolution. It reads package metadata and constraints, then uses Boolean satisfiability techniques to determine which versions of which packages can be installed together without conflicts. The solver supports equality and version-range constraints and can detect cyclic dependencies and unsatisfiable scenarios.
The package is explicitly marked as a prototype and work-in-progress, meaning its public API may change without warning. It depends on attrs for data structures, okonomiyaki for version parsing, and six for Python 2/3 compatibility. While it has been maintained across multiple Python versions (3.8–3.12) and receives occasional bug fixes, the long gap since the last release suggests the project is in a stable but not actively developed state.
Use it for
- Build a custom package manager or dependency resolver that needs to solve complex version constraints without relying on pip or conda.
- Analyze package dependency graphs to detect conflicts, cyclic dependencies, or unsatisfiable requirements before attempting installation.
- Compare dependency resolution strategies by running the same scenario through simplesat and other solvers (e.g., PHP Composer, via the included scripts).
- Prototype or research SAT-based approaches to package management, using simplesat's YAML scenario format and CLI tools.
- Integrate SAT-based constraint solving into a build or deployment system where fine-grained control over version selection is required.
Worth the install?
AI-flagged interpretation of the facts on this page. Verify before relying on it.
Yes, if you need a standalone SAT-based dependency resolver and can accept an unstable API and aging codebase.
The package has low install friction, no known vulnerabilities, and permissive licensing. However, the explicit prototype status and 498-day gap since the last release suggest it is not actively maintained; use it for research, prototyping, or custom tooling rather than as a drop-in replacement for production package managers. For typical Python packaging, pip or conda are more appropriate.
Install
simplesat on PyPI
Before you install
Low friction installation with three stable runtime dependencies (attrs, okonomiyaki, six). Maintenance status is aging—last release 498 days ago—but the repository remains active with a recent commit on 2025-04-03 and support for Python 3.8 through 3.12.
Requires Python 3.8 or later. The package is explicitly a work-in-progress prototype with an unstable API, so production use should be approached cautiously.
License in practice
BSD-3-Clause is permissive; you may use, modify, and distribute this package freely provided you retain the license notice and disclaimer.
Quickstart
pip install simplesat
from simplesat.resolver import Resolver
from simplesat.pool import Pool
pool = Pool()
resolver = Resolver(pool, policy=None)
# Add packages and constraints, then call resolver.resolve(request)Verify before relying
- Whether the API stability warnings in the description apply to the current 0.9.2 release or remain a general caveat.
- Real-world performance characteristics when solving large dependency graphs or highly constrained scenarios.
- Whether the aging maintenance status (498 days since last release) signals that the project is stable or abandoned.
Package facts
| License | BSD-3-Clause permissive |
| Python support | Supports the current Python release >=3.8 |
| Install friction | Low. Pure-Python wheel |
| Runtime dependencies | 3 packagesattrsokonomiyakisix |
| Maintenance | Aging 498 days since the last release |
| Last repo commit | |
| First released | |
| Downloads | 279,237 / month, #8,123 on PyPI 30-day window, as of 2026-08-14 |
| Known vulnerabilities | None known OSV.dev, checked 2026-08-14 |
| Classifiers | Programming Language :: Python :: 3Programming Language :: Python :: 3.10Programming Language :: Python :: 3.11Programming Language :: Python :: 3.12Programming Language :: Python :: 3.8Programming Language :: Python :: 3.9 |
Evidence: simplesat-0.9.2-py3-none-any.whl
Tags
Let your AI agent find packages like this
Example. Real query, live index.
You found this page by searching. An agent finds it by wishing: SkillFed indexes 14,416 PyPI packages by what they can do, searchable in plain language.
wish › “SAT solver dependency resolution”
- simplesatSolves package dependency resolution using Boolean satisfiability…
- nab-resolverA generic PubGrub-style dependency resolver core that accepts a…
- pycosatProvides efficient Python bindings to PicoSAT, a C-based Boolean…
Give your agent the search over MCP, or paste the wish link into any chat.
More Build Tools packages
Provides reusable utilities for Python packaging interoperability, including version handling, specifiers, markers, requirements, tags, and metadata parsing according to standards like PEP 440 and PEP 425.
Wraps any iterable to display a real-time progress bar in the terminal or Jupyter notebook, showing iteration count, elapsed time, and estimated time remaining.
pip is the standard installer for Python packages, enabling you to download and install packages from the Python Package Index and other indexes into your Python environment.
Hatchling is a standards-compliant Python build backend that handles packaging, metadata, and distribution of Python projects when configured in a project's pyproject.toml file.
Generates Python gRPC service stubs and message classes from Protocol Buffer definitions, enabling developers to build gRPC clients and servers.
pre-commit is a framework for installing and running git hooks written in any language before commits are made, automating code quality and validation checks across multi-language projects.
Install it if your team needs consistent, automated validation at commit time.
See also pycosat · python-sat · PyBoolector · nab-resolver · oldest-supported-numpy · cvc5 · z3-solver · claripy · resolvelib · bindep