aboutsummaryrefslogtreecommitdiff
path: root/tools/hatchet-call.nix
AgeCommit message (Expand)Author
2022-06-19hatchet: include gurobi dependency if neededJustin Bedo
2022-05-16HATCHet: 0.4.9 -> 0.4.14Justin Bedo
2022-02-07hatchet: initJustin Bedo