C++ Reference: sat_base
Note: This documentation is automatically generated.
Basic types and classes used by the sat solver.
Classes |
|
|---|---|
| Literal | |
| SatPropagator | |
| Trail | |
| VariablesAssignment | |
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."],[[["This documentation outlines the fundamental types and classes utilized by the C++ sat solver."],["Core components include Literal, SatPropagator, Trail, and VariablesAssignment, each with further documentation accessible through the provided links."],["Users can leverage these building blocks to interact with and extend the functionality of the sat solver."]]],["The C++ `sat_base` reference documentation outlines core types and classes for a SAT solver. It details four primary components: `Literal`, which likely represents a boolean variable or its negation; `SatPropagator`, responsible for inferring new information from existing assignments; `Trail`, which likely tracks the sequence of decisions and deductions made by the solver; and `VariablesAssignment`, which likely maintains the current assignment of values to variables. These elements form the fundamental building blocks for implementing and using a SAT solver.\n"]]