14 #ifndef OR_TOOLS_BOP_BOP_SOLVER_H_
15 #define OR_TOOLS_BOP_BOP_SOLVER_H_
48 #include "ortools/bop/bop_parameters.pb.h"
52 #include "ortools/sat/boolean_problem.pb.h"
62 explicit BopSolver(
const sat::LinearBooleanProblem& problem);
91 void UpdateParameters();
95 const sat::LinearBooleanProblem& problem_;
97 BopParameters parameters_;
A simple class to enforce both an elapsed time limit and a deterministic time limit in the same threa...
bool Value(VariableIndex var) const
BopSolveStatus SolveWithTimeLimit(TimeLimit *time_limit)
BopSolver(const sat::LinearBooleanProblem &problem)
bool GetSolutionValue(VariableIndex var_id) const
const BopSolution & best_solution() const
void SetParameters(const BopParameters ¶meters)
double GetScaledGap() const
double GetScaledBestBound() const
const BopSolution & solution() const
SharedTimeLimit * time_limit
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...