Namespaces
	operations_research
	Collection of objects used to extend the Constraint Solver library.

	operations_research::sat

Functions
	ABSL_FLAG (bool, cp_model_dump_solutions, false, "DEBUG ONLY. If true, all the intermediate solution will be dumped " "under '\"FLAGS_cp_model_dump_prefix\" + \"solution_xxx.pb.txt\"'.")

void	FillSolveStatsInResponse (Model model, CpSolverResponse response)

std::string	ExtractSubSolverName (const std::string &improvement_info)

Function Documentation

◆ ABSL_FLAG()

ABSL_FLAG	(	bool	,
		cp_model_dump_solutions	,
		false	,
		"DEBUG ONLY. If	true,
		all the intermediate solution will be dumped " "under '\"FLAGS_cp_model_dump_prefix\" + \"solution_xxx.pb.txt\"'."
	)