adding the space solver with some utils