minisat (math/minisat) Updated: 3 weeks, 5 days 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
2025-Nov-24 to 2025-Dec-24
| Total Installations | 2 |
|---|---|
| Requested Installations | 2 |
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