minisat

A minimalistic and high-performance SAT solver

OTHER License

Stars
1K
Committers
2

Commit Statistics

Past Year

All Time

Total Commits
0
301
Total Committers
0
4
Avg. Commits Per Committer
0.0
75.25
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
2
25
Merged Pull Requests
0
0
Total Issues
1
26
Time to Close Issues
N/A
24 days