minisat (math/minisat) 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.0 License: MIT
GitHub
Statistics for selected duration
2024-Oct-28 to 2024-Nov-27
| Total Installations | 3 |
|---|---|
| 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