.. _encoders-module:

Encoders Module
===============================================

The *Encoders* module provides access to a set of encoders that can be used
to translate constraints from one language to another.

This module is currently composed of *PB and Cardinality Encoders*.

.. toctree::
    :maxdepth: 3
    :caption: Encoders:

    encoders/pbencoder.rst