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.
The scaling factor $\alpha$ must be positive.
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.\]