A solver for the "Sphere XYZ" puzzle - View it on GitHub