D-Wave 已经围绕其量子退火器提供了一个广泛的软件库，并且已经实现了几个转换步骤 [3]。我们不想与 D-Wave 的 API 竞争，而是希望以专注于原始问题的实例中心方法与之相伴。我们简化所提供功能的一个具体示例是处理次数大于 2 的多项式，这只能通过 D-Wave API 通过绕行获得，参见 [3]，这意味着用户需要了解结构差异。在 quark 中，不需要其他任何内容，只需要基类。随着从约束问题到无约束问题的步骤，引入了具有相应惩罚项的约简变量，从而自动降低多项式的次数。