Compiler Settings

StableCompilation()

When set, this boolean flag enables stable reformulation methods, thus yielding predictable results.

Warnings()

Optimization()

Architecture()

Selects which solver architecture to use. Defaults to QUBOTools.GenericArchitecture.

Quadratize()

Boolean flag to conditionally perform the quadratization step. Is automatically set by the compiler when high-order functions are generated.

QuadratizationMethod()

Defines which quadratization method to use. Available options are defined in the PBO submodule.

StableQuadratization()

When set, this boolean flag enables stable quadratization methods, thus yielding predictable results. This is intended to be used during tests or other situations where deterministic output is desired. On the other hand, usage in production is not recommended since it requires increased memory and processing resources.

VariableEncodingBits()

DefaultVariableEncodingBits()

VariableEncodingATol()

DefaultVariableEncodingATol()

Fallback value for VariableEncodingATol.

VariableEncodingMethod()

Available methods are:

• Encoding.Binary (default)
• Encoding.Unary
• Encoding.Arithmetic
• Encoding.OneHot
• Encoding.DomainWall
• Encoding.Bounded

The Encoding.Binary, Encoding.Unary and Encoding.Arithmetic encodings can have their expansion coefficients bounded by wrapping them with the Encoding.Bounded method.

DefaultVariableEncodingMethod()

Fallback value for VariableEncodingMethod.

VariableEncodingPenalty()

Allows the user to set and retrieve the coefficients used for encoding variables when additional constraints are involved.

ConstraintEncodingPenalty()

Allows the user to retrieve the coefficients used for encoding constraints.

Discretize()

When set, this boolean flag guarantees that every coefficient in the final formulation is an integer.