Integer Programming Models In Algorithm Visualizer Project