Closed chaebinkim closed 1 year ago
Thank you for finding and fixing this bug. Closing this PR in favor of https://github.com/SunnySuite/Sunny.jl/pull/57 . I tried to give you credit in that new PR by entering the "Co-authored by ..." field. Please check that you are happy with the email address that appears there.
I revised three things on Sunny,