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 |