libs\minisat\SimpSolver.cc
- 171 Complexity
- 7.43 Complexity / M
- 0 Duplication
- 1 Churn
- 731 Lines
- 492 Lines of Code
- 23 Methods
- 21.39 LOC / Method
No issues found
“
The most important property of a program is whether it accomplishes the intention of its user.