minisat (math/minisat) Updated: 11 months, 2 weeks ago Add to my watchlist
Minimalistic SAT solverMiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
Version: 2.2.1 License: MIT
GitHub
Statistics for selected duration
2026-Oct-14 to 2026-Nov-13
| Total Installations | 1 |
|---|---|
| Requested Installations | 1 |
Loading Chart 
Loading Chart
Loading Chart
Loading Chart
| Variants | Count |
|---|
Monthly Statistics
Can remain cached for up to 24 hours
Loading Chart
Percentage of installations per version per month
Loading Chart