Categories: None [Edit]
dpll_solver
This is a small SAT solving tool for either DIMACS file input (max. 20 variables, 80 lines) or boolean expressions in string format i.e. '(x1 * (x3 + x4))'.
Total
Ranking: 149,548 of 198,225
Downloads: 4,165
Daily
Ranking: 69,347 of 198,184
Downloads: 1
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 |  | thebluber |
xmisao