Dependencies Ubuntu GLPK: sudo apt-get install glpk-utils libglpk-dev glpk-doc MacOS GLPK: brew install glpk facet-enumeration To run benchmark with report stack bench --benchmark-arguments '--output=$benchmark.html'