.. _pbencoders-module:

PB Encoder
===============================================

The *PB Encoder* module provides access to a set of encoders that can be used
to translate a Pseudo-Boolean (PB) or Cardinality (Card) constraint to CNF.

This module is divided into *non-incremental* encoders and *incremental* encoders
and uses the PB encodings from `PyPBLib <https://pypi.org/project/pypblib/>`_ 
and the Card encodings from `PySAT <https://pysathq.github.io/>`_.


Non-incremental encoders
-----------------------------------------------

.. py:module:: optilog.encoders.pb
    :noindex:

.. autoclass:: Encoder


Incremental encoders
-----------------------------------------------

.. py:module:: optilog.encoders.pb
    :noindex:

.. autoclass:: IncrementalEncoder