Finding some undocumented JuMP optimizers

Sometimes, the developers did not add the solver to the documentation. However, if JuMP is a hub for optimization solvers, we might consider adding them.
Searching for Ising optimization, I found one.
I’m not a developer of the package BTW. I just found one. It’s up to the devs whether they want to add it or not.

Without implying anything about the specific package you linked, I’d expect a below average user experience for a solver whose developers didn’t want to list it in the JuMP documentation. The solver may be unmaintained or otherwise incomplete. Without a request from the solver developers, I wouldn’t want to list solvers that end up wasting users’ time or giving a bad impression of the JuMP ecosystem.