BUILD.bazel

# Copyright 2010-2022 Google LLC
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

load(":code_samples.bzl", "code_sample_cc_py", "code_sample_py")

code_sample_cc_py(name = "assignment_sat")

code_sample_cc_py(name = "assignment_groups_sat")

code_sample_cc_py(name = "assignment_task_sizes_sat")

code_sample_cc_py(name = "assignment_teams_sat")

code_sample_cc_py(name = "assumptions_sample_sat")

code_sample_cc_py(name = "binpacking_problem_sat")

code_sample_cc_py(name = "bool_or_sample_sat")

code_sample_py(name = "boolean_product_sample_sat")

code_sample_cc_py(name = "channeling_sample_sat")

code_sample_cc_py(name = "copy_model_sample_sat")

code_sample_cc_py(name = "cp_is_fun_sat")

code_sample_cc_py(name = "cp_sat_example")

code_sample_cc_py(name = "earliness_tardiness_cost_sample_sat")

code_sample_cc_py(name = "interval_sample_sat")

code_sample_cc_py(name = "minimal_jobshop_sat")

code_sample_cc_py(name = "literal_sample_sat")

code_sample_cc_py(name = "multiple_knapsack_sat")

code_sample_cc_py(name = "nqueens_sat")

code_sample_cc_py(name = "nurses_sat")

code_sample_cc_py(name = "optional_interval_sample_sat")

code_sample_cc_py(name = "no_overlap_sample_sat")

code_sample_py(name = "overlapping_intervals_sample_sat")

code_sample_cc_py(name = "rabbits_and_pheasants_sat")

code_sample_cc_py(name = "ranking_sample_sat")

code_sample_cc_py(name = "reified_sample_sat")

code_sample_cc_py(name = "schedule_requests_sat")

code_sample_py(name = "scheduling_with_calendar_sample_sat")

code_sample_cc_py(name = "simple_sat_program")

code_sample_cc_py(name = "search_for_all_solutions_sample_sat")

code_sample_cc_py(name = "solution_hinting_sample_sat")

code_sample_cc_py(name = "solve_and_print_intermediate_solutions_sample_sat")

code_sample_cc_py(name = "step_function_sample_sat")

code_sample_cc_py(name = "solve_with_time_limit_sample_sat")

code_sample_cc_py(name = "stop_after_n_solutions_sample_sat")