FRAMEWORK TO SOLVE INTEGER PROGRAMS