A solver using branch and bound and local search.