Class | Satsolver::Problem |
In: |
satsolver.i
|
Parent: | Object |
If solving a Request is unsucccessful (Solver.solve returning false), the Solver provides information on possible reason and how to fix them.
The Problem class represents such a reason and provides solutions.
There is no constructor defined for Problem. Problems are created by accessing the Solver result. See ‘Solver.each_problem’.