Mathieu Tanneau

Here is how I (manually) print a conflict from an infeasibility proof ```julia using JuMP using Tulip using Printf # Add MWE code here function mwe() ... end function conflict()...

> Is this result similar to what we get with primal_feasibility_report in JuMP.jl? No. JuMP's [`primal_feasibility_report`](https://jump.dev/JuMP.jl/stable/reference/solutions/#Feasibility) takes as input a primal solution, and reports constraint violations. The code I shared...

This looks a bit out of scope to me. I would rather make it clear in the docs that the (mathematical) definition of `RelativeGap` is up to the solver, and...

> We might have `RawRelativeGap` (solver specific) and `RelativeGap` (has a default implemenation in MOI) IMHO, it is quite risky to start defining conventions at the LQOI/MOI level. * This...

*TL;DR*: the notion of "basis" is not well-defined for integer solutions, and is not implemented by any major solver. The notion of basis for a MIP solution is not clearly...

Thanks for following up on that so quick! What I was missing in trying to build a minimal example was that `x` should have a non-zero lower bound (I think,...

Thank you for using Tulip and for reporting this. Would you be able to share a minimum working example please? I would expect the issue to occur on CPU as...

Dear CUDA.jl team, I would like to bump this issue. The last couple generations of GPUs (e.g. L40S, H100 and H200) have enough memory that they can handle >2B arrays....

@ccoffrin I have opened two PRs to address the initial deepcopy (#915) and the identification of connected components (#914). The 3rd room for performance improvement is within [`_renumber_components`](https://github.com/lanl-ansi/PowerModels.jl/blob/8e346b48c187b2a53907dc031603482f2e6a2017/src/core/data_basic.jl#L151-L163), which contains...

Yes! For completeness, I re-ran the timings and profiles on `master`; results are below. ___ New timing table on `master` for `make_basic_network`: | Case | #buses | time (s) |...