Tools to be used on top of an ISolver.