C++ Reference: encoding

Note: This documentation is automatically generated.

Algorithms to encode constraints into their SAT representation. Currently, this contains one possible encoding of a cardinality constraint as used by the core-based optimization algorithm in optimization.h.

This is also known as the incremental totalizer encoding in the literature.