{"library":"simplesat","type":"library","category":null,"description":"Simplesat is a Python library providing a prototype for SAT-based dependency handling, designed for resolving package and software dependencies using satisfiability algorithms. It is currently at version 0.9.2. The release cadence is irregular, with recent updates primarily focusing on Python version compatibility and bug fixes rather than rapid feature additions. The API is explicitly stated as being subject to change.","language":"python","status":"maintenance","version":"0.9.2","tags":["solver","satisfiability","dependency-resolution","constraints","pysat"],"install":[{"cmd":"pip install simplesat","imports":["from simplesat import InstallRequirement","from simplesat import Pool","from simplesat import Request"]}],"homepage":null,"github":"https://github.com/enthought/sat-solver","docs":null,"changelog":null,"pypi":"https://pypi.org/project/simplesat/","npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":{"summary":{"python_range":"3.10–3.9","success_rate":100,"avg_install_s":2.1,"avg_import_s":null,"wheel_type":"wheel"},"url":"https://checklist.day/v1/registry/simplesat/compatibility"},"provenance":{"verified_status":"passing","verified_at":"Fri Jul 03","last_verified":"Fri Jul 03","next_check":"Sun Aug 02","install_tag":null}}