SAT solvers' API (:mod:`pysat.solvers`)
=======================================

.. automodule:: pysat.solvers
    :members:
    :inherited-members:
    :no-special-members:
    :exclude-members: Cadical103, Cadical153, Cadical195, CryptoMinisat, Gluecard3, Gluecard4, Glucose3, Glucose4, Glucose42, Lingeling, MapleChrono, MapleCM, Maplesat, Mergesat3, Minicard, Minisat22, MinisatGH