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 
17 #include "ortools/flatzinc/model.h"
18 
19 namespace operations_research {
20 namespace fz {
21 
23  bool display_all_solutions = false;
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 
35 namespace 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...