Replace spider solver with a self serving solution

This is something I had lying around (don't ask). It's generally
slower (as it tries harder to find an optimal solution), but finds
solutions more reliably - and is possibly easier to debug for
other people :)