Is this what you’re looking for?
https://jump.dev/JuMP.jl/stable/manual/solutions/#Checking-feasibility-of-solutions