{"categories":[{"label":"Mathematics","url":"https://skillfed.io/packages/category/scientific-engineering-mathematics/2"}],"enrichment":{"capability":"PySAT wraps modern Boolean satisfiability solvers and provides cardinality and pseudo-Boolean encodings, letting you call SAT oracles from Python code.","skillfed_tags":["sat-solving","constraint-satisfaction","research-tool"],"use_cases":["Prototype a MaxSAT solver that iteratively calls a SAT oracle to find optimal assignments","Extract minimal unsatisfiable subsets or minimal correction sets from constraint problems","Encode cardinality constraints and solve combinatorial optimization problems in Python","Build a verification or model-checking tool that relies on SAT solving as a core component","Experiment with SAT-based algorithms for planning, scheduling, or configuration problems"],"what_it_does":"PySAT is a Python wrapper around state-of-the-art Boolean satisfiability solvers, designed for researchers and developers who need to prototype algorithms that rely on SAT solving. It abstracts the complexity of calling low-level solver implementations by providing a simple Python interface, and includes support for cardinality and pseudo-Boolean constraint encodings. The package is intended for building higher-level tools\u2014MaxSAT solvers, MUS/MCS extractors, or domain-specific applications\u2014that repeatedly invoke a SAT oracle as part of their logic.\n\nThe library depends only on six and is actively maintained. Installation requires compilation of native wheels, which are available across macOS, Linux, and Windows architectures. It has no known security vulnerabilities and carries a permissive MIT license.","worth_installing":"Yes, if you need to prototype SAT-based algorithms or build tools that rely on SAT solving. The package is actively maintained, has no known vulnerabilities, and carries a permissive license. Medium install friction from native compilation is a minor trade-off for access to modern solvers. Not recommended if you only need a pure-Python SAT solver or have no need for low-level solver integration."},"id":"python-sat","links":{"html":"https://skillfed.io/packages/python-sat","md":"https://skillfed.io/packages/python-sat.md","pypi":"https://pypi.org/project/python-sat/"},"maintenance":{"status":"active"},"meta":{"latest_release":"2026-08-14","license_spdx":null,"license_treatment":"permissive","name":"python-sat","python_support":"unspecified","summary":"A Python library for prototyping with SAT oracles"},"popularity":{"monthly_downloads":281820,"position":8092,"tier":"top_15000"},"security":{"n_vulnerabilities":0},"version":"1.9.dev14"}