27 #include "absl/flags/flag.h"
28 #include "absl/flags/parse.h"
29 #include "absl/flags/usage.h"
42 ABSL_FLAG(
bool, all_solutions,
false,
"Search for all solutions.");
44 "Maximum number of solution to search for, 0 means unspecified.");
46 "If false, the solver must follow the defined search."
47 "If true, other search are allowed.");
48 ABSL_FLAG(
int, threads, 0,
"Number of threads the solver will use.");
49 ABSL_FLAG(
bool, presolve,
true,
"Presolve the model to simplify it.");
50 ABSL_FLAG(
bool, statistics,
false,
"Print solver statistics after search.");
52 "Read the FlatZinc from stdin, not from a file.");
55 "Define problem name when reading from stdin.");
56 ABSL_FLAG(std::string, params,
"",
"SatParameters as a text proto.");
64 absl::SetFlag(&FLAGS_log_prefix,
false);
66 char all_param[] =
"--all_solutions";
67 char free_param[] =
"--free_search";
68 char threads_param[] =
"--threads";
69 char solutions_param[] =
"--num_solutions";
70 char logging_param[] =
"--fz_logging";
71 char statistics_param[] =
"--statistics";
72 char seed_param[] =
"--fz_seed";
73 char verbose_param[] =
"--fz_verbose";
74 char debug_param[] =
"--fz_debug";
75 char time_param[] =
"--time_limit";
76 bool use_time_param =
false;
77 for (
int i = 1; i < *argc; ++i) {
78 if (strcmp((*argv)[i],
"-a") == 0) {
79 (*argv)[i] = all_param;
81 if (strcmp((*argv)[i],
"-f") == 0) {
82 (*argv)[i] = free_param;
84 if (strcmp((*argv)[i],
"-p") == 0) {
85 (*argv)[i] = threads_param;
87 if (strcmp((*argv)[i],
"-n") == 0) {
88 (*argv)[i] = solutions_param;
90 if (strcmp((*argv)[i],
"-l") == 0) {
91 (*argv)[i] = logging_param;
93 if (strcmp((*argv)[i],
"-s") == 0) {
94 (*argv)[i] = statistics_param;
96 if (strcmp((*argv)[i],
"-r") == 0) {
97 (*argv)[i] = seed_param;
99 if (strcmp((*argv)[i],
"-v") == 0) {
100 (*argv)[i] = verbose_param;
102 if (strcmp((*argv)[i],
"-d") == 0) {
103 (*argv)[i] = debug_param;
105 if (strcmp((*argv)[i],
"-t") == 0) {
106 (*argv)[i] = time_param;
107 use_time_param =
true;
110 const char kUsage[] =
111 "Usage: see flags.\nThis program parses and solve a flatzinc problem.";
113 absl::SetProgramUsageMessage(kUsage);
114 const std::vector<char*> residual_flags =
115 absl::ParseCommandLine(*argc, *argv);
119 if (use_time_param) {
120 absl::SetFlag(&FLAGS_time_limit, absl::GetFlag(FLAGS_time_limit) / 1000.0);
122 return residual_flags;
129 std::string problem_name =
130 input_is_filename ?
input : absl::GetFlag(FLAGS_fz_model_name);
131 if (input_is_filename || absl::EndsWith(problem_name,
".fzn")) {
132 CHECK(absl::EndsWith(problem_name,
".fzn"))
133 <<
"Unrecognized flatzinc file: `" << problem_name <<
"'";
134 problem_name.resize(problem_name.size() - 4);
135 const size_t found = problem_name.find_last_of(
"/\\");
136 if (found != std::string::npos) {
137 problem_name = problem_name.substr(found + 1);
141 if (input_is_filename) {
147 FZLOG <<
"File " << (input_is_filename ?
input :
"stdin") <<
" parsed in "
168 int main(
int argc,
char** argv) {
171 const std::vector<char*> residual_flags =
175 if (absl::GetFlag(FLAGS_read_from_stdin)) {
176 std::string currentLine;
177 while (std::getline(std::cin, currentLine)) {
178 input.append(currentLine);
181 if (residual_flags.empty()) {
182 LOG(
ERROR) <<
"Usage: " << argv[0] <<
" <file>";
185 input = residual_flags.back();
190 input, !absl::GetFlag(FLAGS_read_from_stdin));
192 parameters.display_all_solutions = absl::GetFlag(FLAGS_all_solutions);
193 parameters.use_free_search = absl::GetFlag(FLAGS_free_search);
194 parameters.verbose_logging = absl::GetFlag(FLAGS_fz_logging);
195 if (absl::GetFlag(FLAGS_num_solutions) == 0) {
196 absl::SetFlag(&FLAGS_num_solutions,
197 absl::GetFlag(FLAGS_all_solutions) ?
kint32max : 1);
199 parameters.max_number_of_solutions = absl::GetFlag(FLAGS_num_solutions);
200 parameters.random_seed = absl::GetFlag(FLAGS_fz_seed);
201 parameters.display_statistics = absl::GetFlag(FLAGS_statistics);
202 parameters.number_of_threads = absl::GetFlag(FLAGS_threads);
203 parameters.max_time_in_seconds = absl::GetFlag(FLAGS_time_limit);
void PrintStatistics() const
SharedTimeLimit * time_limit
ABSL_FLAG(double, time_limit, 0, "time limit in seconds.")
ABSL_DECLARE_FLAG(bool, log_prefix)
int main(int argc, char **argv)
static const int32 kint32max
void InitGoogleLogging(const char *argv0)
Model ParseFlatzincModel(const std::string &input, bool input_is_filename)
std::vector< char * > FixAndParseParameters(int *argc, char ***argv)
bool ParseFlatzincString(const std::string &input, Model *model)
bool ParseFlatzincFile(const std::string &filename, Model *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...
static int input(yyscan_t yyscanner)