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 GitHubStatistics for selected duration
2024-Mar-27 to 2024-Apr-26
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