Solver¶

class Solver¶

Methods

Attributes

__init__(client)¶
__init_subclass__()¶

This method is called when a class is subclassed.

The default implementation does nothing. It may be overridden to extend subclasses.

solve(arg) SolverResult¶
__deprecated__ = 'Solver is deprecated since amplify v1.0.0 and will no longer support in the near future.\nUse solve() instead. Please see the migration guide for details: https://amplify.fixstars.com/docs/amplify/v1/migration.html'¶
__dict__ = mappingproxy({'__module__': 'amplify._backward', '__init__': <function Solver.__init__>, 'solve': <function Solver.solve>, 'chain_strength': <property object>, 'client': <property object>, 'client_result': <property object>, 'deduplicate': <property object>, 'embedding_time_limit': <property object>, 'execution_time': <property object>, 'filter_solution': <property object>, 'logical_result': <property object>, 'sort_solution': <property object>, '__dict__': <attribute '__dict__' of 'Solver' objects>, '__weakref__': <attribute '__weakref__' of 'Solver' objects>, '__doc__': None, '__new__': <staticmethod(<function object.__new__>)>, '__init_subclass__': <function Solver.__init_subclass__>, '__deprecated__': 'Solver is deprecated since amplify v1.0.0 and will no longer support in the near future.\nUse solve() instead. Please see the migration guide for details: https://amplify.fixstars.com/docs/amplify/v1/migration.html', '__annotations__': {}})¶
__weakref__¶

list of weak references to the object (if defined)

property chain_strength¶
property client¶
property client_result¶
property deduplicate¶
property embedding_time_limit¶
property execution_time¶
property filter_solution¶
property logical_result¶
property sort_solution¶