quark: QUantum Application Reformulation Kernel

Kurzfassung

Quantum annealers solve Ising problems heuristically. Several standard methods have been established to transform more complex problems into the Ising problem format, which are commonly still applied by hand. In this work, we present our software package quark, automating the full transformation process from an arbitrary discrete optimization problem to the corresponding Ising problem. Based on a parameterized formulation of the original problem, a series of easily reproducible experiments can thus be set up. This allows users to evaluate the suitability of the annealing machines in solving their specific problem without a deeper knowledge about the Ising problem specifics.