zlacker

The program doesn't need to be a solver. It can be anything that helps it.

It doesn't even need to be one tool but a series of tools.