Go to the source code of this file.
|
namespace | operations_research |
| The vehicle routing library lets one model and solve generic vehicle routing problems ranging from the Traveling Salesman Problem to more complex problems such as the Capacitated Vehicle Routing Problem with Time Windows.
|
|
namespace | operations_research::sat |
|
|
| ABSL_FLAG (bool, use_flatzinc_format, true, "Output uses the flatzinc format") |
|
| ABSL_FLAG (int64, fz_int_max, int64{1}<< 50, "Default max value for unbounded integer variables.") |
|
void | SolveFzWithCpModelProto (const fz::Model &fz_model, const fz::FlatzincSatParameters &p, const std::string &sat_params) |
|
◆ ABSL_FLAG() [1/2]
ABSL_FLAG |
( |
bool |
, |
|
|
use_flatzinc_format |
, |
|
|
true |
, |
|
|
"Output uses the flatzinc format" |
|
|
) |
| |
◆ ABSL_FLAG() [2/2]
ABSL_FLAG |
( |
int64 |
, |
|
|
fz_int_max |
, |
|
|
int64{1}<< |
50, |
|
|
"Default max value for unbounded integer variables." |
|
|
) |
| |
◆ constant_value_to_index
absl::flat_hash_map<int64, int> constant_value_to_index |
◆ fz_var_to_index
absl::flat_hash_map<fz::IntegerVariable*, int> fz_var_to_index |
◆ parameters
◆ proto
◆ start_size_opt_tuple_to_interval
absl::flat_hash_map<std::tuple<int, int, int>, int> start_size_opt_tuple_to_interval |