sat: make all python samples executable

2021-10-18 16:17:46 +02:00
parent 53187fbed4
commit cd11e9fe4a
26 changed files with 0 additions and 1 deletions
--- a/ortools/sat/samples/assignment_sat.py
+++ b/ortools/sat/samples/assignment_sat.py
--- a/ortools/sat/samples/assumptions_sample_sat.py
+++ b/ortools/sat/samples/assumptions_sample_sat.py
--- a/ortools/sat/samples/binpacking_problem_sat.py
+++ b/ortools/sat/samples/binpacking_problem_sat.py
--- a/ortools/sat/samples/bool_or_sample_sat.py
+++ b/ortools/sat/samples/bool_or_sample_sat.py
--- a/ortools/sat/samples/boolean_product_sample_sat.py
+++ b/ortools/sat/samples/boolean_product_sample_sat.py
--- a/ortools/sat/samples/channeling_sample_sat.py
+++ b/ortools/sat/samples/channeling_sample_sat.py
--- a/ortools/sat/samples/copy_model_sample_sat.py
+++ b/ortools/sat/samples/copy_model_sample_sat.py
--- a/ortools/sat/samples/cp_is_fun_sat.py
+++ b/ortools/sat/samples/cp_is_fun_sat.py
--- a/ortools/sat/samples/earliness_tardiness_cost_sample_sat.py
+++ b/ortools/sat/samples/earliness_tardiness_cost_sample_sat.py
--- a/ortools/sat/samples/interval_sample_sat.py
+++ b/ortools/sat/samples/interval_sample_sat.py
--- a/ortools/sat/samples/literal_sample_sat.py
+++ b/ortools/sat/samples/literal_sample_sat.py
--- a/ortools/sat/samples/multiple_knapsack_sat.py
+++ b/ortools/sat/samples/multiple_knapsack_sat.py
--- a/ortools/sat/samples/no_overlap_sample_sat.py
+++ b/ortools/sat/samples/no_overlap_sample_sat.py
--- a/ortools/sat/samples/optional_interval_sample_sat.py
+++ b/ortools/sat/samples/optional_interval_sample_sat.py
--- a/ortools/sat/samples/overlapping_intervals_sample_sat.py
+++ b/ortools/sat/samples/overlapping_intervals_sample_sat.py
--- a/ortools/sat/samples/rabbits_and_pheasants_sat.py
+++ b/ortools/sat/samples/rabbits_and_pheasants_sat.py
--- a/ortools/sat/samples/ranking_sample_sat.py
+++ b/ortools/sat/samples/ranking_sample_sat.py
--- a/ortools/sat/samples/reified_sample_sat.py
+++ b/ortools/sat/samples/reified_sample_sat.py
--- a/ortools/sat/samples/scheduling_with_calendar_sample_sat.py
+++ b/ortools/sat/samples/scheduling_with_calendar_sample_sat.py
--- a/ortools/sat/samples/search_for_all_solutions_sample_sat.py
+++ b/ortools/sat/samples/search_for_all_solutions_sample_sat.py
--- a/ortools/sat/samples/simple_sat_program.cc
+++ b/ortools/sat/samples/simple_sat_program.cc
@@ -38,7 +38,6 @@ void SimpleSatProgram() {
  // Solving part.
  // [START solve]
  const CpSolverResponse response = Solve(cp_model.Build());
-  LOG(INFO) << CpSolverResponseStats(response);
  // [END solve]

  // [START print_solution]
--- a/ortools/sat/samples/solution_hinting_sample_sat.py
+++ b/ortools/sat/samples/solution_hinting_sample_sat.py
--- a/ortools/sat/samples/solve_and_print_intermediate_solutions_sample_sat.py
+++ b/ortools/sat/samples/solve_and_print_intermediate_solutions_sample_sat.py
--- a/ortools/sat/samples/solve_with_time_limit_sample_sat.py
+++ b/ortools/sat/samples/solve_with_time_limit_sample_sat.py
--- a/ortools/sat/samples/step_function_sample_sat.py
+++ b/ortools/sat/samples/step_function_sample_sat.py
--- a/ortools/sat/samples/stop_after_n_solutions_sample_sat.py
+++ b/ortools/sat/samples/stop_after_n_solutions_sample_sat.py