Solver
======

Class
-----
.. autosummary::
    :toctree: generated/
    :nosignatures:

    amplify.Solver
    amplify.LogicalResult
    amplify.LogicalResultInt
    amplify.LogicalSolution
    amplify.LogicalSolutionInt
    amplify.SolverResult
    amplify.SolverResultInt
    amplify.SolverSolution
    amplify.SolverSolutionInt