vertex cover solver https://epubs.siam.org/doi/abs/10.1137/1.9781611973754.7 How to compile: $ ./build.sh How to run: $ java -cp bin Main input.txt You can use dimacs or snap format. Reading a large file may take several minutes. List of the input graphs used in the paper: https://snap.stanford.edu/data/ https://konect.uni-koblenz.de/ https://law.di.unimi.it/datasets.php https://www.cs.hbg.psu.edu/txn131/vertex_cover.html https://www.user.tu-berlin.de/hueffner/occ/