solve dispatches now to different solving strategies which can be arbitrary core.logic relations