Solver for Drop7 written in Python