ILPSolver developed in Python