Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
cp_model_expand.h File Reference
#include <stdint.h>
#include "ortools/sat/cp_model.pb.h"
#include "ortools/sat/presolve_context.h"

Go to the source code of this file.

Namespaces

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

Functions

void operations_research::sat::ExpandCpModel (PresolveContext *context)
void operations_research::sat::FinalExpansionForLinearConstraint (PresolveContext *context)