27 #ifndef OR_TOOLS_BOP_COMPLETE_OPTIMIZER_H_
28 #define OR_TOOLS_BOP_COMPLETE_OPTIMIZER_H_
36 #include "ortools/sat/boolean_problem.pb.h"
60 int64_t state_update_stamp_;
62 bool assumptions_already_added_;
64 sat::Coefficient offset_;
65 sat::Coefficient lower_bound_;
66 sat::Coefficient upper_bound_;
67 sat::Coefficient stratified_lower_bound_;
68 std::deque<sat::EncodingNode> repository_;
69 std::vector<sat::EncodingNode*> nodes_;
A simple class to enforce both an elapsed time limit and a deterministic time limit in the same threa...
const std::string & name() const
~SatCoreBasedOptimizer() override
bool ShouldBeRun(const ProblemState &problem_state) const override
Status Optimize(const BopParameters ¶meters, const ProblemState &problem_state, LearnedInfo *learned_info, TimeLimit *time_limit) override
SatCoreBasedOptimizer(const std::string &name)
SharedTimeLimit * time_limit
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...