C++ Reference: encoding

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.

Classes

EncodingNode