First pass implementation of a Letterpress solver with a console interface