3.3.2.13. lekkersim.Solver.prune

Solver.prune() → bool

Remove dead branch in the solver hierarchy (the ones ending with an empy solver)

Returns:

True if Solver is empty

Return type:

bool