Use dot and tr from LinearAlgebra instead of JuMP.

[metab0t]

It fixes test errors in the latest JuMP (1.7.0).

[chriscoey]

Thanks @metab0t! Feel free to merge if CI passes (if it lets you, else ping me)

[metab0t]

@chriscoey The CBF test failure seems to be a solver issue, so we can merge it (and release a new version)?

[chriscoey]

I'll merge this now and fix the unrelated test failure, then we can tag a new version

[chriscoey]

@metab0t a new version is tagged now

[metab0t]

Thanks!