14#ifndef OR_TOOLS_BOP_BOP_SOLVER_H_
15#define OR_TOOLS_BOP_BOP_SOLVER_H_
57 parameters_ = parameters;
71 return problem_state_.solution().Value(var_id);
81 void UpdateParameters();
Base class to print a nice summary of a group of statistics.
bool GetSolutionValue(VariableIndex var_id) const
BopSolveStatus Solve()
Returns the status of the optimization.
void SetParameters(const BopParameters ¶meters)
Parameters management.
double GetScaledBestBound() const
BopSolveStatus SolveWithTimeLimit(TimeLimit *time_limit)
Runs the solver with an external time limit.
const BopSolution & best_solution() const
double GetScaledGap() const
BopSolver(const sat::LinearBooleanProblem &problem)
BopSolveStatus
Status of the solve of Bop.
In SWIG mode, we don't want anything besides these top-level includes.