modules.applications.optimization.sat.sat.SAT
=============================================

.. currentmodule:: modules.applications.optimization.sat.sat

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

   
   .. automethod:: __init__

   
   .. rubric:: Methods

   .. autosummary::
   
      ~SAT.__init__
      ~SAT.evaluate
      ~SAT.generate_problem
      ~SAT.get_application
      ~SAT.get_available_submodule_options
      ~SAT.get_available_submodules
      ~SAT.get_default_submodule
      ~SAT.get_depending_parameters
      ~SAT.get_parameter_options
      ~SAT.get_requirements
      ~SAT.get_solution_quality_unit
      ~SAT.get_submodule
      ~SAT.postprocess
      ~SAT.preprocess
      ~SAT.process_solution
      ~SAT.save
      ~SAT.validate
      ~SAT.visualize_solution