This is a software package to find provably equivalent embedded Ising problems with optimal parameters.