int_solver.py 4.09 KB