Python Vertex Cover Solver for PACE 2019. Run as python __main__.py < instance.gr > output.txt where instance.gr is the input graph file. Dependencies: Python 3.5.2 numpy 1.11.3 networkx 1.11