.. _formula-module:

Formulas Module
===============

The *Formulas* module provides classes for the easy loading and manipulation of SAT, MaxSAT, and QBF formulas.

.. toctree::
      :maxdepth: 1
      :caption: Contents:

      formula/CNF.rst
      formula/WCNF.rst
      formula/QCNF.rst
      formula/VarManager.rst
      formula/loaders.rst
      formula/visualization.rst