Solver#

class Solver#

Methods

Attributes

__init__(client)#
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__>)>, '__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#