Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
cp_model_solver.h File Reference
#include <functional>
#include <string>
#include "absl/flags/declare.h"
#include "absl/strings/string_view.h"
#include "ortools/base/base_export.h"
#include "ortools/sat/cp_model.pb.h"
#include "ortools/sat/model.h"
#include "ortools/sat/sat_parameters.pb.h"

Go to the source code of this file.

Namespaces

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

Functions

OR_DLL ABSL_DECLARE_FLAG (bool, cp_model_dump_response)
std::string operations_research::sat::CpSatSolverVersion ()
 Returns a string that describes the version of the solver.
CpSolverResponse operations_research::sat::Solve (const CpModelProto &model_proto)
 Solves the given CpModelProto and returns an instance of CpSolverResponse.
CpSolverResponse operations_research::sat::SolveWithParameters (const CpModelProto &model_proto, const SatParameters &params)
 Solves the given CpModelProto with the given parameters.
std::string operations_research::sat::CpModelStats (const CpModelProto &model)
 Returns a string with some statistics on the given CpModelProto.
std::string operations_research::sat::CpSolverResponseStats (const CpSolverResponse &response, bool has_objective)
CpSolverResponse operations_research::sat::SolveCpModel (const CpModelProto &model_proto, Model *model)
CpSolverResponse operations_research::sat::SolveWithParameters (const CpModelProto &model_proto, absl::string_view params)
std::function< void(Model *)> operations_research::sat::NewFeasibleSolutionObserver (const std::function< void(const CpSolverResponse &response)> &callback)
std::function< void(Model *)> operations_research::sat::NewFeasibleSolutionLogCallback (const std::function< std::string(const CpSolverResponse &response)> &callback)
std::function< void(Model *)> operations_research::sat::NewBestBoundCallback (const std::function< void(double)> &callback)
std::function< SatParameters(Model *)> operations_research::sat::NewSatParameters (absl::string_view params)
std::function< SatParameters(Model *)> operations_research::sat::NewSatParameters (const sat::SatParameters &parameters)
void operations_research::sat::StopSearch (Model *model)
 Stops the current search.

Function Documentation

◆ ABSL_DECLARE_FLAG()

OR_DLL ABSL_DECLARE_FLAG ( bool ,
cp_model_dump_response  )