C++ Reference: optimization

This documentation is automatically generated.

Optimization algorithms to solve a LinearBooleanProblem by using the SAT solver as a black-box.

TODO(user): Currently, only the MINIMIZATION problem type is supported.

Classes

CoreBasedOptimizer