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: 146,178 of 192,454
Downloads: 4,073
Daily
Ranking: 72,028 of 192,434
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