#include <cstdlib>
#include <cstring>
#include <iostream>
#include <ostream>
#include <string>
#include <vector>
#include "absl/flags/flag.h"
#include "absl/flags/parse.h"
#include "absl/flags/usage.h"
#include "absl/log/check.h"
#include "absl/log/flags.h"
#include "absl/log/initialize.h"
#include "absl/log/log.h"
#include "absl/strings/match.h"
#include "absl/strings/str_split.h"
#include "absl/strings/string_view.h"
#include "absl/time/time.h"
#include "google/protobuf/text_format.h"
#include "ortools/base/logging.h"
#include "ortools/base/path.h"
#include "ortools/base/timer.h"
#include "ortools/flatzinc/cp_model_fz_solver.h"
#include "ortools/flatzinc/model.h"
#include "ortools/flatzinc/parser.h"
#include "ortools/sat/model.h"
#include "ortools/util/logging.h"

Go to the source code of this file.

Functions
	ABSL_FLAG (double, time_limit, 0, "time limit in seconds.")
	ABSL_FLAG (bool, search_all_solutions, false, "Search for all solutions.")
	ABSL_FLAG (bool, display_all_solutions, false, "Display all improving solutions.")
	ABSL_FLAG (bool, free_search, !kOrToolsMode, "If false, the solver must follow the defined search." "If true, other search are allowed.")
	ABSL_FLAG (int, threads, 0, "Number of threads the solver will use.")
	ABSL_FLAG (bool, statistics, false, "Print solver statistics after search.")
	ABSL_FLAG (bool, read_from_stdin, false, "Read the FlatZinc from stdin, not from a file.")
	ABSL_FLAG (int, fz_seed, 0, "Random seed")
	ABSL_FLAG (std::string, fz_model_name, "stdin", "Define problem name when reading from stdin.")
	ABSL_FLAG (std::string, params, "", "SatParameters as a text proto.")
	ABSL_FLAG (bool, fz_logging, false, "Print logging information from the flatzinc interpreter.")
	ABSL_FLAG (bool, ortools_mode, kOrToolsMode, "Display solutions in the flatzinc format")
	ABSL_FLAG (bool, fz_check_all_solutions, DEBUG_MODE, "Checks all solutions returned by the solver.")
	ABSL_FLAG (bool, ignore_redundant_constraints, false, "Ignore redundant constraints.")
	ABSL_FLAG (bool, ignore_symmetry_breaking_constraints, false, "Ignore symmetry breaking constraints.")
std::vector< char * >	operations_research::fz::FixAndParseParameters (int *argc, char ***argv)
Model	operations_research::fz::ParseFlatzincModel (const std::string &input, bool input_is_filename, SolverLogger *logger, absl::Duration *parse_duration)
void	operations_research::fz::LogInFlatzincFormat (const std::string &multi_line_input)
int	main (int argc, char **argv)

Variables
constexpr bool	kOrToolsMode = true

◆ ABSL_FLAG() [1/15]

◆ ABSL_FLAG() [2/15]

◆ ABSL_FLAG() [3/15]

◆ ABSL_FLAG() [4/15]

◆ ABSL_FLAG() [5/15]

◆ ABSL_FLAG() [6/15]

◆ ABSL_FLAG() [7/15]

◆ ABSL_FLAG() [8/15]

◆ ABSL_FLAG() [9/15]

◆ ABSL_FLAG() [10/15]

◆ ABSL_FLAG() [11/15]

◆ ABSL_FLAG() [12/15]

◆ ABSL_FLAG() [13/15]

◆ ABSL_FLAG() [14/15]

◆ ABSL_FLAG() [15/15]

◆ main()

◆ kOrToolsMode