http://www.gurobi.com http://www.gurobi.com/resources/getting-started/starting-with-gurobi https://en.wikipedia.org/wiki/Gurobi
