cp_model_fz_solver.h File Reference

#include <string>
#include "ortools/flatzinc/model.h"
#include "ortools/util/logging.h"

Go to the source code of this file.

Classes
struct	operations_research::fz::FlatzincSatParameters

Namespaces
namespace	operations_research
	In SWIG mode, we don't want anything besides these top-level includes.
namespace	operations_research::fz
namespace	operations_research::sat

Functions
void	operations_research::sat::ProcessFloatingPointOVariablesAndObjective (fz::Model *fz_model)
void	operations_research::sat::SolveFzWithCpModelProto (const fz::Model &model, const fz::FlatzincSatParameters &p, const std::string &sat_params, SolverLogger *logger, SolverLogger *solution_logger)
	Solves the given flatzinc model using the CP-SAT solver.