Solver
======

.. currentmodule:: amplify

.. autoclass:: Solver
   :special-members:
   :exclude-members: __new__, __annotations__, __array_priority__, __module__, __class_getitem__, __subclasshook__, __init_subclass__, __abstractmethods__, __dict__, __weakref__, __doc__, __orig_bases__, __parameters__, __slots__, __firstlineno__, __delattr__, __getstate__, __setattr__, __setstate__

   
   
   .. rubric:: Methods

   .. autosummary::
      :nosignatures:
   
      ~Solver.__init__
      ~Solver.solve
   
   

   
   
   .. rubric:: Attributes

   .. autosummary::
   
      ~Solver.chain_strength
      ~Solver.client
      ~Solver.client_result
      ~Solver.deduplicate
      ~Solver.embedding_time_limit
      ~Solver.execution_time
      ~Solver.filter_solution
      ~Solver.logical_result
      ~Solver.sort_solution