vivification.h File Reference

#include <cstdint>
#include "absl/base/attributes.h"
#include "ortools/sat/clause.h"
#include "ortools/sat/lrat_proof_handler.h"
#include "ortools/sat/model.h"
#include "ortools/sat/sat_base.h"
#include "ortools/sat/sat_solver.h"
#include "ortools/util/logging.h"
#include "ortools/util/time_limit.h"

Go to the source code of this file.

Classes
class	operations_research::sat::Vivifier
struct	operations_research::sat::Vivifier::Counters

Namespaces
namespace	operations_research
	OR-Tools root namespace.
namespace	operations_research::sat