C++ Reference: sat_solver

This documentation is automatically generated.

This file implements a SAT solver. see http://en.wikipedia.org/wiki/Boolean_satisfiability_problem for more detail. TODO(user): Expand.

Classes

SatSolver

Send feedback about...