cp_model_fz_solver.h File Reference

Go to the source code of this file.

Classes
struct	FlatzincSatParameters

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

Functions
void	SolveFzWithCpModelProto (const fz::Model &fz_model, const fz::FlatzincSatParameters &p, const std::string &sat_params, SolverLogger *logger, SolverLogger *solution_logger)