Java solver for Post's Correspondence Problem.