solve

solve(
model: Model | Poly | Matrix | Constraint | ConstraintList,
client: amplify._BaseClient,
*,
dry_run: Literal[False] = False,
integer_encoding_method: Literal['Unary', 'Linear', 'Binary', 'Default'] | IntegerEncodingMethod = IntegerEncodingMethod.Default,
real_encoding_method: Literal['Random4', 'Random8', 'Random16', 'Random32'] | RealEncodingMethod = RealEncodingMethod.Random16,
quadratization_method: Literal['IshikawaKZFD', 'Substitute'] | QuadratizationMethod = QuadratizationMethod.Substitute,
substitution_multiplier: float = 1.0,
embedding_method: Literal['Default', 'Minor', 'Clique', 'Parallel'] | EmbeddingMethod = EmbeddingMethod.Default,
embedding_timeout: float | timedelta = 10.0,
chain_strength: float = 1.0,
num_solves: int = 1,
filter_solution: bool = True,
sort_solution: bool = True,
) → Result[amplify._BaseClient]
solve(
model: Model | Poly | Matrix | Constraint | ConstraintList,
client: BaseClient | amplify.CustomClientProtocol,
*,
dry_run: Literal[True],
integer_encoding_method: Literal['Unary', 'Linear', 'Binary', 'Default'] | IntegerEncodingMethod = IntegerEncodingMethod.Default,
real_encoding_method: Literal['Random4', 'Random8', 'Random16', 'Random32'] | RealEncodingMethod = RealEncodingMethod.Random16,
quadratization_method: Literal['IshikawaKZFD', 'Substitute'] | QuadratizationMethod = QuadratizationMethod.Substitute,
substitution_multiplier: float = 1.0,
embedding_method: Literal['Default', 'Minor', 'Clique', 'Parallel'] | EmbeddingMethod = EmbeddingMethod.Default,
embedding_timeout: float | timedelta = 10.0,
chain_strength: float = 1.0,
num_solves: int = 1,
filter_solution: bool = True,
sort_solution: bool = True,
) → Result

Solve a combinatorial optimization problem. solve

Pass a model (or model-constructible object) and a solver client. The SDK automatically performs model conversion and embedding as needed. Use keyword arguments to configure conversion and embedding behavior.

Overload 1.

Args:

  • model (amplify.Model | amplify.Poly | amplify.Matrix | amplify.Constraint | amplify.ConstraintList): Optimization problem to solve.

  • client (amplify._BaseClient): Client used to solve the problem.

  • dry_run (typing.Literal[False]): When True, perform conversion only (no solver execution). Defaults to False.

  • integer_encoding_method (typing.Literal['Unary', 'Linear', 'Binary', 'Default'] | amplify.IntegerEncodingMethod): Algorithm for converting integer variables to binary/Ising variables. Defaults to IntegerEncodingMethod.Default.

  • real_encoding_method (typing.Literal['Random4', 'Random8', 'Random16', 'Random32'] | amplify.RealEncodingMethod): Algorithm for converting real variables to binary/Ising variables. Defaults to RealEncodingMethod.Random16.

  • quadratization_method (typing.Literal['IshikawaKZFD', 'Substitute'] | amplify.QuadratizationMethod): Algorithm for reducing degree of polynomial. Defaults to QuadratizationMethod.Substitute.

  • substitution_multiplier (float): Multiplier for substitution penalty scaling (used only with Substitute). Defaults to 1.0.

  • embedding_method (typing.Literal['Default', 'Minor', 'Clique', 'Parallel'] | amplify.EmbeddingMethod): Embedding algorithm. Defaults to EmbeddingMethod.Default.

  • embedding_timeout (float | datetime.timedelta): Embedding timeout in seconds. Defaults to 10.0.

  • chain_strength (float): Chain strength for embedding. Defaults to 1.0.

  • num_solves (int): Number of independent solves. Defaults to 1.

  • filter_solution (bool): Whether to filter out infeasible solutions, default is True. Defaults to True.

  • sort_solution (bool): Whether to sort solutions by objective value, default is True. Defaults to True.

Returns:

amplify.Result[amplify._BaseClient]: Optimization output.

Overload 2.

Args:

  • model (amplify.Model | amplify.Poly | amplify.Matrix | amplify.Constraint | amplify.ConstraintList): Optimization problem to solve.

  • client (amplify.BaseClient | amplify.CustomClientProtocol): Client used to solve the problem.

  • dry_run (typing.Literal[True]): When True, perform conversion only (no solver execution).

  • integer_encoding_method (typing.Literal['Unary', 'Linear', 'Binary', 'Default'] | amplify.IntegerEncodingMethod): Algorithm for converting integer variables to binary/Ising variables. Defaults to IntegerEncodingMethod.Default.

  • real_encoding_method (typing.Literal['Random4', 'Random8', 'Random16', 'Random32'] | amplify.RealEncodingMethod): Algorithm for converting real variables to binary/Ising variables. Defaults to RealEncodingMethod.Random16.

  • quadratization_method (typing.Literal['IshikawaKZFD', 'Substitute'] | amplify.QuadratizationMethod): Algorithm for reducing degree of polynomial. Defaults to QuadratizationMethod.Substitute.

  • substitution_multiplier (float): Multiplier for substitution penalty scaling (used only with Substitute). Defaults to 1.0.

  • embedding_method (typing.Literal['Default', 'Minor', 'Clique', 'Parallel'] | amplify.EmbeddingMethod): Embedding algorithm. Defaults to EmbeddingMethod.Default.

  • embedding_timeout (float | datetime.timedelta): Embedding timeout in seconds. Defaults to 10.0.

  • chain_strength (float): Chain strength for embedding. Defaults to 1.0.

  • num_solves (int): Number of independent solves. Defaults to 1.

  • filter_solution (bool): Whether to filter out infeasible solutions, default is True. Defaults to True.

  • sort_solution (bool): Whether to sort solutions by objective value, default is True. Defaults to True.

Returns:

amplify.Result: Optimization output.