OR-Tools  8.2
cp_model_fz_solver.h
Go to the documentation of this file.
1// Copyright 2010-2018 Google LLC
2// Licensed under the Apache License, Version 2.0 (the "License");
3// you may not use this file except in compliance with the License.
4// You may obtain a copy of the License at
5//
6// http://www.apache.org/licenses/LICENSE-2.0
7//
8// Unless required by applicable law or agreed to in writing, software
9// distributed under the License is distributed on an "AS IS" BASIS,
10// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
11// See the License for the specific language governing permissions and
12// limitations under the License.
13
14#ifndef OR_TOOLS_FLATZINC_CP_MODEL_FZ_SOLVER_H_
15#define OR_TOOLS_FLATZINC_CP_MODEL_FZ_SOLVER_H_
16
18
19namespace operations_research {
20namespace fz {
21
24 bool use_free_search = false;
25 bool verbose_logging = false;
26 bool display_statistics = false;
28 int random_seed = 0;
30 double max_time_in_seconds = 0.0;
31};
32
33} // namespace fz
34
35namespace sat {
36
39 const std::string& sat_params);
40
41} // namespace sat
42} // namespace operations_research
43
44#endif // OR_TOOLS_FLATZINC_CP_MODEL_FZ_SOLVER_H_
GRBmodel * model
void SolveFzWithCpModelProto(const fz::Model &fz_model, const fz::FlatzincSatParameters &p, const std::string &sat_params)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...