Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: zero_half_cuts
Note: This documentation is automatically generated.
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2024-08-06 UTC.
[null,null,["Last updated 2024-08-06 UTC."],[[["\u003cp\u003eThis documentation focuses on the \u003ccode\u003ezero_half_cuts\u003c/code\u003e aspect within the C++ reference, specifically for optimization using SAT (Boolean satisfiability problem).\u003c/p\u003e\n"],["\u003cp\u003eIt primarily highlights the \u003ccode\u003eZeroHalfCutHelper\u003c/code\u003e class for aiding in the implementation of zero-half cuts, a technique used in optimization.\u003c/p\u003e\n"]]],["The document describes a C++ reference for \"zero_half_cuts,\" detailing a class called `ZeroHalfCutHelper`. This class, found in the `/optimization/reference/sat/zero_half_cuts/` directory, is the sole class presented within this documentation. The automatically generated documentation's core content is the definition and presence of the `ZeroHalfCutHelper` class related to optimization within a C++ SAT (satisfiability) solver.\n"],null,["# zero_half_cuts\n\nC++ Reference: zero_half_cuts\n=============================\n\n\nNote: This documentation is automatically generated.\n\n| Classes ------- ||\n|-----------------------------------------------------------------------------------|---|\n| [ZeroHalfCutHelper](/optimization/reference/sat/zero_half_cuts/ZeroHalfCutHelper) |"]]