cp_model_fz_solver.h File Reference

#include <string>
#include "ortools/flatzinc/model.h"
#include "ortools/sat/cp_model.pb.h"
#include "ortools/sat/model.h"
#include "ortools/sat/sat_parameters.pb.h"
#include "ortools/util/logging.h"

Go to the source code of this file.

Classes
struct	operations_research::fz::FlatzincSatParameters

Namespaces
namespace	operations_research
	OR-Tools root namespace.
namespace	operations_research::fz
namespace	operations_research::sat

Functions
void	operations_research::sat::ProcessFloatingPointOVariablesAndObjective (fz::Model *fz_model)
CpSolverResponse	operations_research::sat::SolveFzWithCpModelProto (const fz::Model &fz_model, const fz::FlatzincSatParameters &p, const SatParameters &sat_params, Model *sat_model, SolverLogger *solution_logger)