Wiring the heap into the solver.