modules.solvers.classical\_sat.ClassicalSAT
===========================================

.. currentmodule:: modules.solvers.classical_sat

.. autoclass:: ClassicalSAT
   :members:
   :show-inheritance:
   :inherited-members:

   
   .. automethod:: __init__

   
   .. rubric:: Methods

   .. autosummary::
   
      ~ClassicalSAT.__init__
      ~ClassicalSAT.get_available_submodule_options
      ~ClassicalSAT.get_available_submodules
      ~ClassicalSAT.get_default_submodule
      ~ClassicalSAT.get_depending_parameters
      ~ClassicalSAT.get_parameter_options
      ~ClassicalSAT.get_requirements
      ~ClassicalSAT.get_submodule
      ~ClassicalSAT.postprocess
      ~ClassicalSAT.preprocess
      ~ClassicalSAT.run