Finds the largest independent set in a graph using integer linear programming (ILP). Note: this script requires the gurobi solver to be installed on your computer.
Usage: gurobi graphILP.py filename.txt
File format:
Number of vertices
List of edges