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: 145,644 of 191,663
Downloads: 4,056
Daily
Ranking: 105,966 of 191,631
Downloads: 2
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