search

Gurobi / gurobi-logtools

Extract and visualize information from Gurobi log files
Apache License 2.0
102 stars 16 forks source link

Feature/17 cut names #19

Closed ronaldvdv closed 2 years ago

ronaldvdv commented 2 years ago

Fixes #17

mattmilten commented 2 years ago

Excellent! Thanks!