Versioned mirror of Kare's / qqwref's ksolve+ puzzle solver.