pombredanne/sat-solver-2
SAT solver for use in Enstaller, based on the MiniSat implementation
Public GitHub Catalog
Discovered Sep 26, 2026
pombredanne / backports.lzma
Backport of Python 3.3's standard library module lzma for LZMA/XY compressed files
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#7845513GitHub System ID
pombredanneOrganization / User
PublicVisibility
ActiveCatalog Status
More from pombredanne
pombredanne/machobot
A Python toolbox for Mach-O files analysis.
pombredanne/ironpycompiler
Helps to compile IronPython scripts, using pyc.py.
pombredanne/wcwidth
Measures number of Terminal column cells of wide-character codes