sat_proto_solver.cc File Reference

Go to the source code of this file.

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

Functions
absl::StatusOr< MPSolutionResponse >	SatSolveProto (MPModelRequest request, std::atomic< bool > *interrupt_solve, std::function< void(const std::string &)> logging_callback, std::function< void(const MPSolution &)> solution_callback)
std::string	EncodeSatParametersAsString (const sat::SatParameters &parameters)
std::string	SatSolverVersion ()