PyPI StatsPyPI Stats
DiscoverCompareTrendingDashboard
PyPI Stats — Download analytics for Python packages
APIGitHubPrivacyTerms

Sign in to subscribe to our weekly trending newsletter.

Download data sourced from BigQuery (Google). Counts may include CI/CD and mirror traffic.
Inspired by and built upon the work of pypistats.org
Discover/pycosat/Alternatives

Best Alternatives to pycosat

bindings to picosat (a SAT solver)

12 similar packages · ranked by shared classifiers & health score · View pycosat →

#1
bitarray-hardbytev2.3.8↓

efficient arrays of booleans -- C extension

57.8K/moPSF★ 793
62
#2
rcssminv1.2.2↓

CSS Minifier

2.3M/moApache License, Version 2.0
69
#3
rjsminv1.2.5↓

Javascript Minifier

2.2M/moApache License, Version 2.0
69
#4
bsdiff4v1.2.6↓

binary diff and patch using the BSDIFF4-format

422.9K/moBSD★ 146
68
#5
xlsx2csvv0.8.6↓

xlsx to csv converter

801.9K/moMIT License★ 1.8K
80
#6
pypinyinv0.55.0↓

汉字拼音转换模块/工具.

1.3M/moMIT★ 5.4K
73
#7
bitarrayv3.11.0↓

efficient arrays of booleans -- C extension

14.2M/moPSF-2.0★ 793
72
#8
pytzv2026.3.post1↓

World timezone definitions, modern and historical

346.4M/moMIT★ 394
70
#9
xenonv0.9.3↓

Monitor code metrics for Python on your CI server

954.8K/moMIT
66
#10
fixedintv0.2.0↓

simple fixed-width integers

2.9M/moPSF★ 29
65
#11
django-admin-rangefilterv0.15.0↓

django-admin-rangefilter app, add the filter by a custom date range on the admin UI.

839.9K/moMIT★ 746
62
#12
getmacv0.9.5↓

Get MAC addresses of remote hosts and local interfaces

288.4K/moMIT★ 89
60
← Browse all categories