cp_model_solver.h File Reference

Go to the source code of this file.

Namespaces
namespace	operations_research
	The vehicle routing library lets one model and solve generic vehicle routing problems ranging from the Traveling Salesman Problem to more complex problems such as the Capacitated Vehicle Routing Problem with Time Windows.
namespace	operations_research::sat

Functions
CpSolverResponse	Solve (const CpModelProto &model_proto)
	Solves the given CpModelProto and returns an instance of CpSolverResponse. More...
CpSolverResponse	SolveWithParameters (const CpModelProto &model_proto, const SatParameters &params)
	Solves the given CpModelProto with the given parameters. More...
std::string	CpModelStats (const CpModelProto &model)
	Returns a string with some statistics on the given CpModelProto. More...
std::string	CpSolverResponseStats (const CpSolverResponse &response, bool has_objective=true)
	Returns a string with some statistics on the solver response. More...
CpSolverResponse	SolveCpModel (const CpModelProto &model_proto, Model *model)
	Solves the given CpModelProto. More...
CpSolverResponse	SolveWithParameters (const CpModelProto &model_proto, const std::string &params)
	Solves the given CpModelProto with the given sat parameters as string in JSon format, and returns an instance of CpSolverResponse. More...
std::function< void(Model *)>	NewFeasibleSolutionObserver (const std::function< void(const CpSolverResponse &response)> &observer)
	Creates a solution observer with the model with model.Add(NewFeasibleSolutionObserver([](response){...}));. More...
void	SetSynchronizationFunction (std::function< CpSolverResponse()> f, Model *model)
	If set, the underlying solver will call this function regularly in a deterministic way. More...
std::function< SatParameters(Model *)>	NewSatParameters (const std::string &params)
	Creates parameters for the solver, which you can add to the model with. More...
std::function< SatParameters(Model *)>	NewSatParameters (const SatParameters &parameters)