search

Gurobi / gurobi-logtools

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

fix #14: error when log has no tree section #15

Closed mattmilten closed 2 years ago