Mathematical Formulation
This package's mathematical formulation conventions were inspired by BQPJSON's.
\[\min \vert \max f(\mathbf{x}) = \alpha \left[{ \sum_{i < j} Q_{i, j} x_{i} x_{j} + \sum_{i} \ell_{i} x_{i} + \beta }\right]\]
where $\alpha, \beta \in \mathbb{R}$ are the scale and offset parameters. The vector $\mathbf{\ell} \in \mathbb{R}^{n}$ stores the linear terms and $Q \in \mathbb{R}^{n \times n}$, the quadratic interaction matrix, is assumed to be strictly upper triangular.
Internally, any problem loaded with this package will be converted to the normal form presented above.
Variable Domains
Available domains are represented by the BoolDomain and SpinDomain types, respectively, $x \in \mathbb{B} = \lbrace 0, 1 \rbrace$ and $s \in \mathbb{S} = \lbrace -1, 1 \rbrace$.
Conversion between domains follows the identity:
\[\left\lbrace\begin{align*} s &= 2x - 1 \\ x &= \frac{s + 1}{2} \end{align*}\right.\]