Solver show only valid labyrinths, and size is parametrizable