Collection of puzzle solvers in python