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.

Encoders:

• PB Encoder
  • Non-incremental encoders
    • Encoder
  • Incremental encoders
    • IncrementalEncoder