xquadA hardware-agnostic SDK for optimization problems: define a problem once, then lower it to any quantum or classical solverATK5358DEF1790