@jenskutilek Unless I messed up, it seems there is one unique solution (and 5 equivalent rotated solutions).
Here is some poorly documented code: gist.github.com/justvanrossum/…