5 Commits (355c04f8d536f76a216961e1f1089da9ea2988b0)

Author SHA1 Message Date
ruki 0078ec4ddf
Update highs to v1.8.0 (#5538) 5 months ago
ruki 7a290c87a1
Update highs to v1.7.2 (#4589) 8 months ago
ruki 94cc8cd4eb
Update highs to v1.7.1 (#4383) 9 months ago
ruki f48845b7ea
Update highs to v1.7.0 (#3630) 11 months ago
star9029 6a6665b8a3
highs: add package (#2622) 1 year ago