solver with algo x works, graphics not generated yet
only shows non-isomorphic solutions now