{"categories":[{"label":"Build Tools","url":"https://skillfed.io/packages/category/software-development-build-tools/3"}],"enrichment":{"capability":"Solves package dependency resolution using Boolean satisfiability (SAT) solving, determining which package versions satisfy a set of constraints.","skillfed_tags":["sat-solver","dependency-resolution","package-management"],"use_cases":["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."],"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.\n\nThe 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\u20133.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.","worth_installing":"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."},"id":"simplesat","links":{"html":"https://skillfed.io/packages/simplesat","md":"https://skillfed.io/packages/simplesat.md","pypi":"https://pypi.org/project/simplesat/"},"maintenance":{"status":"aging"},"meta":{"latest_release":"2025-04-03","license_spdx":null,"license_treatment":"permissive","name":"simplesat","python_support":"supports_current","summary":"Prototype for SAT-based dependency handling. This is a work in progress, do not expect any API not to change at this point."},"popularity":{"monthly_downloads":279237,"position":8123,"tier":"top_15000"},"security":{"n_vulnerabilities":0},"version":"0.9.2"}