A solver for Letterpress