ZibTranslator

Utility class for converting between a Zib solution and our solution format.

ZibTranslator provides methods to:

- Convert a Zib-style solution into our solution `Solution`.

The conversions are especially required when interacting with external zib solvers/samplers or libraries that operate on zib-based problem-solving/sampling.

Examples:

>>> import luna_quantum as lq
>>> from pyscipopt import Model
>>> model = Model()
>>> model.readProblem("./path/to/my/model.lp")
>>> model.optimize()
>>> aqs = lq.translator.ZibTranslator.to_aq(model)

to_aq staticmethod

to_aq(model: Model) -> Solution

to_aq(model: Model, timing: Timing) -> Solution

to_aq(model: Model, *, env: Environment) -> Solution

to_aq(model: Model, timing: Timing, *, env: Environment) -> Solution

to_aq(
    model: Model, timing: Timing | None = ..., *, env: Environment | None = ...
) -> Solution

Extract a solution from a ZIB model.

Parameters:

Name	Type	Description	Default
model	Model	The Model that ran the optimization.	required
timing	Timing	The timing object produced while generating the result.	...
env	Environment	The environment of the model for which the result is produced.	...

Raises:

Type	Description
NoActiveEnvironmentFoundError	If no environment is passed to the method or available from the context.
SolutionTranslationError	Generally if the solution translation fails. Might be specified by one of the two following errors.
SampleIncorrectLengthError	If a solution's sample has a different number of variables than the model environment passed to the translator.
ModelVtypeError	If the result's variable types are incompatible with the model environment's variable types.