ProriBeta
Junction Nine — A 3x3 puzzle with a solver-verified shortest solution | Prori