The original paper (https://arxiv.org/pdf/2303.14605.pdf) that the linked article reports on is a theoretical algorithms paper, and does not contain any references to actual solvers or implementations.

For practical cases it is not that important what the worst-case complexity is, but rather what the expected complexity is of solving problems that occur in practice.