AmplifyAEClient¶

class AmplifyAEClient¶

Bases: BaseClient

Client of the Amplify Annealing Engine. It sends the model to the service of Fixstars and returns the solutions that the engine found.

Methods

`__init__`
`solve`	Send the objective function and the constraints to the engine.

Attributes

`acceptable_degrees`	Degrees of the polynomial that the engine accepts.
`async_threshold_ms`	Time above which the client sends the request asynchronously, in milliseconds.
`compression`	Whether the client compresses the body of the request.
`objective_format`	Format of the objective function in the request.
`parameters`	Parameters that the client sends with every request.
`proxy`	URL of the proxy that the client goes through, or `None` for no proxy.
`solver`	Solver of the engine that runs the request.
`token`	API token of the user.
`url`	URL of the service that the client sends to.
`version`	Version of the service.
`write_request_data`	Path of the file that receives a copy of the request, or `None` to write none.
`write_response_data`	Path of the file that receives a copy of the response, or `None` to write none.

class Parameters¶

Parameters that the client sends with every request.

__init__(*args, **kwargs)¶

__repr__(self) → str¶

Return type:: str

__str__(self) → str¶

Return type:: str

property duplicate_solutions¶

Whether the response holds the duplicate solutions.

The engine drops the duplicates by default.

Return type:: bool | None

property num_gpus¶

Number of the GPUs that the engine uses.

The engine uses one GPU by default. 0 lets it use every GPU that the machine has. None leaves the choice to the engine.

Return type:: int | None
Raises:: ValueError – The value is negative.

property penalty_weight_calibration¶

Whether the engine calibrates the weight of every penalty function.

The engine calibrates by default. It reads this parameter only when solver is Pubo or Qubo. The Constraint solver, which is the default, ignores it and gives a warning.

Return type:: bool | None

property time_limit_ms¶

Limit of the execution time, in milliseconds.

The setter also takes a datetime.timedelta. The engine uses 10000 milliseconds when this parameter is None.

Return type:: timedelta | None
Raises:: ValueError – The value is negative.

class Result¶

Raw response of the Amplify Annealing Engine.

class Solution¶

One solution in the response.

class Status¶

Bases: Enum

Whether a solution satisfies the constraints of the request.

classmethod __contains__(value)¶

Return True if value is in cls.

value is in cls if: 1) value is a member of cls, or 2) value is the value of one of the cls’s members. 3) value is a pseudo-member (flags)

classmethod __getitem__(name)¶: Return the member matching name.

classmethod __iter__()¶: Return members in definition order.

classmethod __len__()¶: Return the number of members (no aliases)

__repr__(self) → str¶

Return type:: str

__str__(self) → str¶

Return type:: str

Feasible = 1¶

Infeasible = 0¶

Optimal = 2¶

__members__ = mappingproxy({'Infeasible': AmplifyAEClientSolutionStatus.Infeasible, 'Feasible': AmplifyAEClientSolutionStatus.Feasible, 'Optimal': AmplifyAEClientSolutionStatus.Optimal})¶

__name__ = 'Status'¶

__nb_enum__ = <capsule object NULL>¶

__qualname__ = 'AmplifyAEClient.Result.Solution.Status'¶

__init__(*args, **kwargs)¶

__repr__(self) → str¶

Return type:: str

__str__(self) → str¶

Return type:: str

property objective¶

Value of the objective function of the solution.

Return type:: float

property status¶

Whether the solution satisfies the constraints.

Return type:: Status

property time_stamp_ms¶

Time at which the engine found the solution, in milliseconds.

The time starts when the run starts.

Return type:: timedelta

property values¶

Values of the variables of the solution.

The order follows the variables of the request, not the variables of the input model.

Return type:: ndarray

__init__(*args, **kwargs)¶

__repr__(self) → str¶

Return type:: str

__str__(self) → str¶

Return type:: str

property execution_time_ms¶

Time that the engine spent on the request, in milliseconds.

Return type:: timedelta

property num_flips¶

Number of the flips that all the GPUs ran, in total.

A flip makes the next state from the current one.

Return type:: int

property num_gpus¶

Number of the GPUs that the engine used.

Return type:: int

property num_samplings¶

Number of the solutions that the run gave.

A GPU returns the best state that a group of the flips found. That step is one sampling.

Return type:: int

property queue_time_ms¶

Time that the request waited in the queue, in milliseconds.

Return type:: timedelta

property solutions¶

Solutions that the engine found.

Return type:: list[Solution]

property started_at¶

Time at which the engine started to run the request.

Return type:: datetime

property submitted_at¶

Time at which the service received the request.

Return type:: datetime

property version¶

Version of the engine that ran the request.

Return type:: str

property warnings¶

Warnings that the service returned with the response.

Return type:: list[str]

class Solver¶

Bases: Enum

Solver of the Amplify Annealing Engine that runs the request.

classmethod __contains__(value)¶

Return True if value is in cls.

value is in cls if: 1) value is a member of cls, or 2) value is the value of one of the cls’s members. 3) value is a pseudo-member (flags)

classmethod __getitem__(name)¶: Return the member matching name.

classmethod __iter__()¶: Return members in definition order.

classmethod __len__()¶: Return the number of members (no aliases)

__repr__(self) → str¶

Return type:: str

__str__(self) → str¶

Return type:: str

Constraint = 0¶

Pubo = 1¶

Qubo = 2¶

__members__ = mappingproxy({'Constraint': AmplifyAEClientSolver.Constraint, 'Pubo': AmplifyAEClientSolver.Pubo, 'Qubo': AmplifyAEClientSolver.Qubo})¶

__name__ = 'Solver'¶

__nb_enum__ = <capsule object NULL>¶

__qualname__ = 'AmplifyAEClient.Solver'¶

__init__(self) → None¶

__init__(self, token: str = '', url: str = '', proxy: str | None = None) → None

Parameters:

token (str) – Defaults to ''.
url (str) – Defaults to ''.
proxy (str | None) – Defaults to None.

__repr__(self) → str¶

Return type:: str

__str__(self) → str¶

Return type:: str

solve( self, objective: Poly | Matrix, dry_run: Literal[False] = False, ) → Result¶

solve( self, constraint: Constraint | ConstraintList, dry_run: Literal[False] = False, ) → Result

solve( self, objective: Poly | Matrix, constraint: Constraint | ConstraintList, dry_run: Literal[False] = False, ) → Result

solve(self, objective: Poly | Matrix, dry_run: Literal[True]) → None

solve(self, constraint: Constraint | ConstraintList, dry_run: Literal[True]) → None

solve( self, objective: Poly | Matrix, constraint: Constraint | ConstraintList, dry_run: Literal[True], ) → None

Send the objective function and the constraints to the engine.

This method takes the polynomial that the engine accepts, so it runs no conversion of the model. Use solve() to solve a model that needs a conversion. It returns the raw response of the engine. When dry_run is True, the client only asks the service to check the request, and it returns None.

Overload 1.

Args:

objective (amplify.Poly | amplify.Matrix): The objective function that the engine minimizes.
dry_run (typing.Literal[False]): When True, ask the service to check the request, and return None. Defaults to False.

Returns:

amplify.AmplifyAEClient.Result:

Overload 2.

Args:

constraint (amplify.Constraint | amplify.ConstraintList): The constraints that the solution must satisfy.
dry_run (typing.Literal[False]): When True, ask the service to check the request, and return None. Defaults to False.

Returns:

amplify.AmplifyAEClient.Result:

Overload 3.

Args:

objective (amplify.Poly | amplify.Matrix): The objective function that the engine minimizes.
constraint (amplify.Constraint | amplify.ConstraintList): The constraints that the solution must satisfy.
dry_run (typing.Literal[False]): When True, ask the service to check the request, and return None. Defaults to False.

Returns:

amplify.AmplifyAEClient.Result:

Overload 4.

Args:

objective (amplify.Poly | amplify.Matrix): The objective function that the engine minimizes.
dry_run (typing.Literal[True]): When True, ask the service to check the request, and return None.

Overload 5.

Args:

constraint (amplify.Constraint | amplify.ConstraintList): The constraints that the solution must satisfy.
dry_run (typing.Literal[True]): When True, ask the service to check the request, and return None.

Overload 6.

Args:

objective (amplify.Poly | amplify.Matrix): The objective function that the engine minimizes.
constraint (amplify.Constraint | amplify.ConstraintList): The constraints that the solution must satisfy.
dry_run (typing.Literal[True]): When True, ask the service to check the request, and return None.

property acceptable_degrees¶

Degrees of the polynomial that the engine accepts.

solve() reads it to decide the conversion of the model.

Return type:: AcceptableDegrees

property async_threshold_ms¶

Time above which the client sends the request asynchronously, in milliseconds.

The client polls the service when Parameters.time_limit_ms is above this value, and it waits for one response otherwise. The setter also takes a datetime.timedelta.

Return type:: timedelta | None
Raises:: ValueError – The value is negative.

property compression¶

Whether the client compresses the body of the request.

The client compresses by default. Compression costs CPU time and it makes the request smaller.

Return type:: bool

property objective_format¶

Format of the objective function in the request.

See ObjectiveFormat. The answer does not depend on this choice.

Return type:: ObjectiveFormat

property parameters¶

Parameters that the client sends with every request.

Return type:: Parameters

property proxy¶

URL of the proxy that the client goes through, or None for no proxy.

Return type:: str | None

property solver¶

Solver of the engine that runs the request. See Solver.

Return type:: Solver

property token¶

API token of the user.

The client needs it for every request. Its text never appears in the output of repr().

Return type:: str

property url¶

URL of the service that the client sends to.

Return type:: str

property version¶

Version of the service.

Reading this property sends a request to the service.

Return type:: str

property write_request_data¶

Path of the file that receives a copy of the request, or None to write none.

Use it to inspect what the client sends.

Return type:: Path | None

property write_response_data¶

Path of the file that receives a copy of the response, or None to write none.

Return type:: Path | None