-
-
Notifications
You must be signed in to change notification settings - Fork 393
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
value
returns both 0.0
and -0.0
on Bin
ary values
#3793
Comments
This is expected behavior that we won't be fixing. Solvers, even when they have "binary" variables in fact solve in double precision with a tolerance (the HiGHS default is 1e-6), so anything in Note that, in most cases you can round the solution to recover integrality, but in some cases, the rounded solution may violate your constraints by more than the primal feasibility tolerance. |
I've opened a PR to clarify the docs: #3794 |
The output here should be a BitMatrix, or, if you care about type stability, which is quite reasonable, a
Matrix{Float64}
with entries0.0
and1.0
. Some stray-0.0
s aren't "wrong" in the sense that-0.0 == 0.0
, but unless they convey some meaningful information that sign bit should be normalized to0.0
:The text was updated successfully, but these errors were encountered: