Основний модуль
================

Модуль солвера
----------------------

.. autosummary::
   :toctree: generated
   :template: custom-module-template.rst

   salbpone.solver

Формулювання задачі
===================

Генератор обмежень
--------------------------------------

.. automodule:: salbpone.constraints_generator
   :members:
   :undoc-members:
   :show-inheritance:

Генератор допоміжних змінних
------------------------------------

.. automodule:: salbpone.statement_generator
   :members:
   :undoc-members:
   :show-inheritance:

Допоміжні модулі
===================

Функції перевірки введення
---------------------------

.. automodule:: salbpone.checkers
   :members:
   :undoc-members:
   :show-inheritance:


Використані типи та структури
-----------------------------

.. automodule:: salbpone.data_types
   :members:
   :undoc-members:
   :show-inheritance:

Адаптація формул Latex
--------------------------------

.. automodule:: salbpone.latex_converter
   :members:
   :undoc-members:
   :show-inheritance:

Налаштування логу виконання
-----------------------------

.. automodule:: salbpone.logger_setup
   :members:
   :undoc-members:
   :show-inheritance:

Генерація зображень графу
--------------------------------

.. automodule:: salbpone.slide_generator
   :members:
   :undoc-members:
   :show-inheritance:



Module contents
---------------

.. automodule:: salbpone
   :members:
   :undoc-members:
   :show-inheritance: