Files

.allstar
.github
bazel
binder
cmake
examples
makefiles
ortools
- algorithms
- base
- bop
- constraint_solver
- cpp
- dotnet
- flatzinc
- glop
- glpk
- graph
- gscip
- gurobi
- init
- java
- julia
- linear_solver
- lp_data
- math_opt
- packing
- pdlp
- port
- python
- routing
- sat
  - c_api
  - colab
  - csharp
  - docs
  - fuzz_testdata
  - go
  - java
  - python
  - samples
    - AssignmentGroupsSat.cs
    - AssignmentGroupsSat.java
    - AssignmentSat.cs
    - AssignmentSat.java
    - AssignmentTaskSizesSat.cs
    - AssignmentTaskSizesSat.java
    - AssignmentTeamsSat.cs
    - AssignmentTeamsSat.java
    - AssumptionsSampleSat.cs
    - AssumptionsSampleSat.java
    - BUILD.bazel
    - BinPackingProblemSat.cs
    - BinPackingProblemSat.java
    - BoolOrSampleSat.cs
    - BoolOrSampleSat.java
    - CMakeLists.txt
    - ChannelingSampleSat.cs
    - ChannelingSampleSat.java
    - CloneModelSampleSat.java
    - CpIsFunSat.cs
    - CpIsFunSat.java
    - CpSatExample.cs
    - CpSatExample.java
    - EarlinessTardinessCostSampleSat.cs
    - EarlinessTardinessCostSampleSat.java
    - IntervalSampleSat.cs
    - IntervalSampleSat.java
    - LiteralSampleSat.cs
    - LiteralSampleSat.java
    - MinimalJobshopSat.cs
    - MinimalJobshopSat.java
    - MultipleKnapsackSat.cs
    - MultipleKnapsackSat.java
    - NQueensSat.cs
    - NQueensSat.java
    - NoOverlapSampleSat.cs
    - NoOverlapSampleSat.java
    - NonLinearSat.cs
    - NonLinearSat.java
    - NursesSat.cs
    - NursesSat.java
    - OptionalIntervalSampleSat.cs
    - OptionalIntervalSampleSat.java
    - RabbitsAndPheasantsSat.cs
    - RabbitsAndPheasantsSat.java
    - RankingSampleSat.cs
    - RankingSampleSat.java
    - ReifiedSampleSat.cs
    - ReifiedSampleSat.java
    - ScheduleRequestsSat.cs
    - ScheduleRequestsSat.java
    - SearchForAllSolutionsSampleSat.cs
    - SearchForAllSolutionsSampleSat.java
    - SimpleSatProgram.cs
    - SimpleSatProgram.java
    - SolutionHintingSampleSat.cs
    - SolutionHintingSampleSat.java
    - SolveAndPrintIntermediateSolutionsSampleSat.cs
    - SolveAndPrintIntermediateSolutionsSampleSat.java
    - SolveWithTimeLimitSampleSat.cs
    - SolveWithTimeLimitSampleSat.java
    - StepFunctionSampleSat.cs
    - StepFunctionSampleSat.java
    - StopAfterNSolutionsSampleSat.cs
    - StopAfterNSolutionsSampleSat.java
    - all_different_except_zero_sample_sat.py
    - assignment_groups_sat.cc
    - assignment_groups_sat.py
    - assignment_sat.cc
    - assignment_sat.py
    - assignment_task_sizes_sat.cc
    - assignment_task_sizes_sat.py
    - assignment_teams_sat.cc
    - assignment_teams_sat.py
    - assumptions_sample_sat.cc
    - assumptions_sample_sat.go
    - assumptions_sample_sat.py
    - bin_packing_sat.py
    - binpacking_problem_sat.cc
    - binpacking_problem_sat.go
    - binpacking_problem_sat.py
    - bool_and_int_var_product_sample_sat.py
    - bool_or_sample_sat.cc
    - bool_or_sample_sat.go
    - bool_or_sample_sat.py
    - boolean_product_sample_sat.go
    - boolean_product_sample_sat.py
    - channeling_sample_sat.cc
    - channeling_sample_sat.go
    - channeling_sample_sat.py
    - clone_model_sample_sat.cc
    - clone_model_sample_sat.py
    - code_samples.bzl
    - cp_is_fun_sat.cc
    - cp_is_fun_sat.py
    - cp_sat_example.cc
    - cp_sat_example.py
    - cumulative_variable_profile_sample_sat.py
    - earliness_tardiness_cost_sample_sat.cc
    - earliness_tardiness_cost_sample_sat.go
    - earliness_tardiness_cost_sample_sat.py
    - index_first_boolvar_true_sample_sat.py
    - interval_relations_sample_sat.py
    - interval_sample_sat.cc
    - interval_sample_sat.go
    - interval_sample_sat.py
    - literal_sample_sat.cc
    - literal_sample_sat.go
    - literal_sample_sat.py
    - minimal_jobshop_sat.cc
    - minimal_jobshop_sat.py
    - multiple_knapsack_sat.cc
    - multiple_knapsack_sat.py
    - no_overlap_sample_sat.cc
    - no_overlap_sample_sat.go
    - no_overlap_sample_sat.py
    - non_linear_sat.cc
    - non_linear_sat.py
    - nqueens_sat.cc
    - nqueens_sat.go
    - nqueens_sat.py
    - nurses_sat.cc
    - nurses_sat.go
    - nurses_sat.py
    - optional_interval_sample_sat.cc
    - optional_interval_sample_sat.go
    - optional_interval_sample_sat.py
    - overlapping_intervals_sample_sat.py
    - rabbits_and_pheasants_sat.cc
    - rabbits_and_pheasants_sat.go
    - rabbits_and_pheasants_sat.py
    - ranking_circuit_sample_sat.py
    - ranking_sample_sat.cc
    - ranking_sample_sat.go
    - ranking_sample_sat.py
    - reified_sample_sat.cc
    - reified_sample_sat.go
    - reified_sample_sat.py
    - schedule_requests_sat.cc
    - schedule_requests_sat.py
    - scheduling_with_calendar_sample_sat.py
    - search_for_all_solutions_sample_sat.cc
    - search_for_all_solutions_sample_sat.go
    - search_for_all_solutions_sample_sat.py
    - sequences_in_no_overlap_sample_sat.py
    - simple_sat_program.cc
    - simple_sat_program.go
    - simple_sat_program.py
    - solution_hinting_sample_sat.cc
    - solution_hinting_sample_sat.go
    - solution_hinting_sample_sat.py
    - solve_and_print_intermediate_solutions_sample_sat.cc
    - solve_and_print_intermediate_solutions_sample_sat.go
    - solve_and_print_intermediate_solutions_sample_sat.py
    - solve_with_time_limit_sample_sat.cc
    - solve_with_time_limit_sample_sat.go
    - solve_with_time_limit_sample_sat.py
    - step_function_sample_sat.cc
    - step_function_sample_sat.go
    - step_function_sample_sat.py
    - stop_after_n_solutions_sample_sat.cc
    - stop_after_n_solutions_sample_sat.py
    - transitions_in_no_overlap_sample_sat.py
  - 2d_mandatory_overlap_propagator.cc
  - 2d_mandatory_overlap_propagator.h
  - 2d_orthogonal_packing.cc
  - 2d_orthogonal_packing.h
  - 2d_orthogonal_packing_testing.cc
  - 2d_orthogonal_packing_testing.h
  - 2d_packing_brute_force.cc
  - 2d_packing_brute_force.h
  - 2d_packing_brute_force_test.cc
  - 2d_rectangle_presolve.cc
  - 2d_rectangle_presolve.h
  - 2d_rectangle_presolve_test.cc
  - 2d_try_edge_propagator.cc
  - 2d_try_edge_propagator.h
  - 2d_try_edge_propagator_test.cc
  - BUILD.bazel
  - CMakeLists.txt
  - README.md
  - all_different.cc
  - all_different.h
  - all_different_test.cc
  - boolean_problem.cc
  - boolean_problem.h
  - boolean_problem.proto
  - boolean_problem_test.cc
  - circuit.cc
  - circuit.h
  - circuit_test.cc
  - clause.cc
  - clause.h
  - clause_test.cc
  - combine_solutions.cc
  - combine_solutions.h
  - combine_solutions_test.cc
  - constraint_violation.cc
  - constraint_violation.h
  - constraint_violation_test.cc
  - cp_constraints.cc
  - cp_constraints.h
  - cp_constraints_test.cc
  - cp_model.cc
  - cp_model.h
  - cp_model.proto
  - cp_model_checker.cc
  - cp_model_checker.h
  - cp_model_checker_test.cc
  - cp_model_copy.cc
  - cp_model_copy.h
  - cp_model_copy_test.cc
  - cp_model_expand.cc
  - cp_model_expand.h
  - cp_model_expand_test.cc
  - cp_model_lns.cc
  - cp_model_lns.h
  - cp_model_loader.cc
  - cp_model_loader.h
  - cp_model_mapping.h
  - cp_model_postsolve.cc
  - cp_model_postsolve.h
  - cp_model_postsolve_test.cc
  - cp_model_presolve.cc
  - cp_model_presolve.h
  - cp_model_presolve_random_test.cc
  - cp_model_search.cc
  - cp_model_search.h
  - cp_model_search_test.cc
  - cp_model_service.proto
  - cp_model_solver.cc
  - cp_model_solver.h
  - cp_model_solver_helpers.cc
  - cp_model_solver_helpers.h
  - cp_model_symmetries.cc
  - cp_model_symmetries.h
  - cp_model_symmetries_test.cc
  - cp_model_table.cc
  - cp_model_table.h
  - cp_model_table_test.cc
  - cp_model_test_utils.cc
  - cp_model_test_utils.h
  - cp_model_utils.cc
  - cp_model_utils.h
  - cumulative.cc
  - cumulative.h
  - cumulative_energy.cc
  - cumulative_energy.h
  - cumulative_energy_test.cc
  - cumulative_test.cc
  - cuts.cc
  - cuts.h
  - cuts_test.cc
  - diffn.cc
  - diffn.h
  - diffn_cuts.cc
  - diffn_cuts.h
  - diffn_test.cc
  - diffn_util.cc
  - diffn_util.h
  - diffn_util_test.cc
  - diophantine.cc
  - diophantine.h
  - diophantine_test.cc
  - disjunctive.cc
  - disjunctive.h
  - disjunctive_test.cc
  - drat_checker.cc
  - drat_checker.h
  - drat_proof_handler.cc
  - drat_proof_handler.h
  - drat_writer.cc
  - drat_writer.h
  - encoding.cc
  - encoding.h
  - encoding_test.cc
  - feasibility_jump.cc
  - feasibility_jump.h
  - feasibility_jump_test.cc
  - feasibility_pump.cc
  - feasibility_pump.h
  - feasibility_pump_test.cc
  - flaky_models_test.cc
  - implied_bounds.cc
  - implied_bounds.h
  - implied_bounds_test.cc
  - inclusion.h
  - inclusion_test.cc
  - integer.cc
  - integer.h
  - integer_base.h
  - integer_expr.cc
  - integer_expr.h
  - integer_expr_test.cc
  - integer_search.cc
  - integer_search.h
  - integer_test.cc
  - intervals.cc
  - intervals.h
  - intervals_test.cc
  - lb_tree_search.cc
  - lb_tree_search.h
  - lb_tree_search_test.cc
  - linear_constraint.cc
  - linear_constraint.h
  - linear_constraint_manager.cc
  - linear_constraint_manager.h
  - linear_constraint_manager_test.cc
  - linear_constraint_test.cc
  - linear_model.cc
  - linear_model.h
  - linear_model_test.cc
  - linear_programming_constraint.cc
  - linear_programming_constraint.h
  - linear_programming_constraint_test.cc
  - linear_propagation.cc
  - linear_propagation.h
  - linear_propagation_test.cc
  - linear_relaxation.cc
  - linear_relaxation.h
  - linear_relaxation_test.cc
  - lp_utils.cc
  - lp_utils.h
  - max_hs.cc
  - max_hs.h
  - model.h
  - model_test.cc
  - no_overlap_2d_helper.cc
  - no_overlap_2d_helper.h
  - opb_reader.h
  - optimization.cc
  - optimization.h
  - optimization_test.cc
  - parameters_validation.cc
  - parameters_validation.h
  - parameters_validation_test.cc
  - pb_constraint.cc
  - pb_constraint.h
  - pb_constraint_test.cc
  - precedences.cc
  - precedences.h
  - precedences_test.cc
  - presolve_context.cc
  - presolve_context.h
  - presolve_context_test.cc
  - presolve_util.cc
  - presolve_util.h
  - presolve_util_test.cc
  - probing.cc
  - probing.h
  - probing_test.cc
  - pseudo_costs.cc
  - pseudo_costs.h
  - pseudo_costs_test.cc
  - restart.cc
  - restart.h
  - restart_test.cc
  - rins.cc
  - rins.h
  - rins_test.cc
  - routing_cuts.cc
  - routing_cuts.h
  - routing_cuts_test.cc
  - sat_base.h
  - sat_base_test.cc
  - sat_cnf_reader.h
  - sat_cnf_reader_test.cc
  - sat_decision.cc
  - sat_decision.h
  - sat_decision_test.cc
  - sat_inprocessing.cc
  - sat_inprocessing.h
  - sat_inprocessing_test.cc
  - sat_parameters.proto
  - sat_runner.cc
  - sat_solver.cc
  - sat_solver.h
  - scheduling_cuts.cc
  - scheduling_cuts.h
  - scheduling_cuts_test.cc
  - scheduling_helpers.cc
  - scheduling_helpers.h
  - scheduling_helpers_test.cc
  - shaving_solver.cc
  - shaving_solver.h
  - simplification.cc
  - simplification.h
  - solution_crush.cc
  - solution_crush.h
  - stat_tables.cc
  - stat_tables.h
  - subsolver.cc
  - subsolver.h
  - subsolver_test.cc
  - swig_helper.cc
  - swig_helper.h
  - symmetry.cc
  - symmetry.h
  - symmetry_test.cc
  - symmetry_util.cc
  - symmetry_util.h
  - symmetry_util_test.cc
  - synchronization.cc
  - synchronization.h
  - table.cc
  - table.h
  - table_test.cc
  - theta_tree.cc
  - theta_tree.h
  - theta_tree_test.cc
  - timetable.cc
  - timetable.h
  - timetable_edgefinding.cc
  - timetable_edgefinding.h
  - timetable_test.cc
  - util.cc
  - util.h
  - util_test.cc
  - var_domination.cc
  - var_domination.h
  - var_domination_test.cc
  - work_assignment.cc
  - work_assignment.h
  - work_assignment_test.cc
  - zero_half_cuts.cc
  - zero_half_cuts.h
  - zero_half_cuts_test.cc
- scheduling
- service
- util
- xpress
patches
tools
.bazelignore
.bazelrc
.clang-format
.cmake-format.py
.dockerignore
.gitignore
.pylintrc
BUILD.bazel
CMakeLists.txt
CONTRIBUTING.md
Dependencies.txt
LICENSE
MODULE.bazel
Makefile
README.md
Version.txt
WORKSPACE.bzlmod
arm.sh
deps.bzl
go.mod
go.sum
or-tools.code-workspace

samples

Bump Copyright to 2025

Jan 10, 2025

a66a6da · Jan 10, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
AssignmentGroupsSat.cs	AssignmentGroupsSat.cs	Bump Copyright to 2025	Jan 10, 2025
AssignmentGroupsSat.java	AssignmentGroupsSat.java	Bump Copyright to 2025	Jan 10, 2025
AssignmentSat.cs	AssignmentSat.cs	Bump Copyright to 2025	Jan 10, 2025
AssignmentSat.java	AssignmentSat.java	Bump Copyright to 2025	Jan 10, 2025
AssignmentTaskSizesSat.cs	AssignmentTaskSizesSat.cs	Bump Copyright to 2025	Jan 10, 2025
AssignmentTaskSizesSat.java	AssignmentTaskSizesSat.java	Bump Copyright to 2025	Jan 10, 2025
AssignmentTeamsSat.cs	AssignmentTeamsSat.cs	Bump Copyright to 2025	Jan 10, 2025
AssignmentTeamsSat.java	AssignmentTeamsSat.java	Bump Copyright to 2025	Jan 10, 2025
AssumptionsSampleSat.cs	AssumptionsSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
AssumptionsSampleSat.java	AssumptionsSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
BUILD.bazel	BUILD.bazel	Bump Copyright to 2025	Jan 10, 2025
BinPackingProblemSat.cs	BinPackingProblemSat.cs	Bump Copyright to 2025	Jan 10, 2025
BinPackingProblemSat.java	BinPackingProblemSat.java	Bump Copyright to 2025	Jan 10, 2025
BoolOrSampleSat.cs	BoolOrSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
BoolOrSampleSat.java	BoolOrSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
CMakeLists.txt	CMakeLists.txt	Bump Copyright to 2025	Jan 10, 2025
ChannelingSampleSat.cs	ChannelingSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
ChannelingSampleSat.java	ChannelingSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
CloneModelSampleSat.java	CloneModelSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
CpIsFunSat.cs	CpIsFunSat.cs	Bump Copyright to 2025	Jan 10, 2025
CpIsFunSat.java	CpIsFunSat.java	Bump Copyright to 2025	Jan 10, 2025
CpSatExample.cs	CpSatExample.cs	Bump Copyright to 2025	Jan 10, 2025
CpSatExample.java	CpSatExample.java	Bump Copyright to 2025	Jan 10, 2025
EarlinessTardinessCostSampleSat.cs	EarlinessTardinessCostSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
EarlinessTardinessCostSampleSat.java	EarlinessTardinessCostSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
IntervalSampleSat.cs	IntervalSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
IntervalSampleSat.java	IntervalSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
LiteralSampleSat.cs	LiteralSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
LiteralSampleSat.java	LiteralSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
MinimalJobshopSat.cs	MinimalJobshopSat.cs	Bump Copyright to 2025	Jan 10, 2025
MinimalJobshopSat.java	MinimalJobshopSat.java	Bump Copyright to 2025	Jan 10, 2025
MultipleKnapsackSat.cs	MultipleKnapsackSat.cs	Bump Copyright to 2025	Jan 10, 2025
MultipleKnapsackSat.java	MultipleKnapsackSat.java	Bump Copyright to 2025	Jan 10, 2025
NQueensSat.cs	NQueensSat.cs	Bump Copyright to 2025	Jan 10, 2025
NQueensSat.java	NQueensSat.java	Bump Copyright to 2025	Jan 10, 2025
NoOverlapSampleSat.cs	NoOverlapSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
NoOverlapSampleSat.java	NoOverlapSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
NonLinearSat.cs	NonLinearSat.cs	Bump Copyright to 2025	Jan 10, 2025
NonLinearSat.java	NonLinearSat.java	Bump Copyright to 2025	Jan 10, 2025
NursesSat.cs	NursesSat.cs	Bump Copyright to 2025	Jan 10, 2025
NursesSat.java	NursesSat.java	Bump Copyright to 2025	Jan 10, 2025
OptionalIntervalSampleSat.cs	OptionalIntervalSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
OptionalIntervalSampleSat.java	OptionalIntervalSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
RabbitsAndPheasantsSat.cs	RabbitsAndPheasantsSat.cs	Bump Copyright to 2025	Jan 10, 2025
RabbitsAndPheasantsSat.java	RabbitsAndPheasantsSat.java	Bump Copyright to 2025	Jan 10, 2025
RankingSampleSat.cs	RankingSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
RankingSampleSat.java	RankingSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
ReifiedSampleSat.cs	ReifiedSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
ReifiedSampleSat.java	ReifiedSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
ScheduleRequestsSat.cs	ScheduleRequestsSat.cs	Bump Copyright to 2025	Jan 10, 2025
ScheduleRequestsSat.java	ScheduleRequestsSat.java	Bump Copyright to 2025	Jan 10, 2025
SearchForAllSolutionsSampleSat.cs	SearchForAllSolutionsSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
SearchForAllSolutionsSampleSat.java	SearchForAllSolutionsSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
SimpleSatProgram.cs	SimpleSatProgram.cs	Bump Copyright to 2025	Jan 10, 2025
SimpleSatProgram.java	SimpleSatProgram.java	Bump Copyright to 2025	Jan 10, 2025
SolutionHintingSampleSat.cs	SolutionHintingSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
SolutionHintingSampleSat.java	SolutionHintingSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
SolveAndPrintIntermediateSolutionsSampleSat.cs	SolveAndPrintIntermediateSolutionsSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
SolveAndPrintIntermediateSolutionsSampleSat.java	SolveAndPrintIntermediateSolutionsSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
SolveWithTimeLimitSampleSat.cs	SolveWithTimeLimitSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
SolveWithTimeLimitSampleSat.java	SolveWithTimeLimitSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
StepFunctionSampleSat.cs	StepFunctionSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
StepFunctionSampleSat.java	StepFunctionSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
StopAfterNSolutionsSampleSat.cs	StopAfterNSolutionsSampleSat.cs	Bump Copyright to 2025	Jan 10, 2025
StopAfterNSolutionsSampleSat.java	StopAfterNSolutionsSampleSat.java	Bump Copyright to 2025	Jan 10, 2025
all_different_except_zero_sample_sat.py	all_different_except_zero_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
assignment_groups_sat.cc	assignment_groups_sat.cc	Bump Copyright to 2025	Jan 10, 2025
assignment_groups_sat.py	assignment_groups_sat.py	Bump Copyright to 2025	Jan 10, 2025
assignment_sat.cc	assignment_sat.cc	Bump Copyright to 2025	Jan 10, 2025
assignment_sat.py	assignment_sat.py	Bump Copyright to 2025	Jan 10, 2025
assignment_task_sizes_sat.cc	assignment_task_sizes_sat.cc	Bump Copyright to 2025	Jan 10, 2025
assignment_task_sizes_sat.py	assignment_task_sizes_sat.py	Bump Copyright to 2025	Jan 10, 2025
assignment_teams_sat.cc	assignment_teams_sat.cc	Bump Copyright to 2025	Jan 10, 2025
assignment_teams_sat.py	assignment_teams_sat.py	Bump Copyright to 2025	Jan 10, 2025
assumptions_sample_sat.cc	assumptions_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
assumptions_sample_sat.go	assumptions_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
assumptions_sample_sat.py	assumptions_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
bin_packing_sat.py	bin_packing_sat.py	Bump Copyright to 2025	Jan 10, 2025
binpacking_problem_sat.cc	binpacking_problem_sat.cc	Bump Copyright to 2025	Jan 10, 2025
binpacking_problem_sat.go	binpacking_problem_sat.go	Bump Copyright to 2025	Jan 10, 2025
binpacking_problem_sat.py	binpacking_problem_sat.py	Bump Copyright to 2025	Jan 10, 2025
bool_and_int_var_product_sample_sat.py	bool_and_int_var_product_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
bool_or_sample_sat.cc	bool_or_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
bool_or_sample_sat.go	bool_or_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
bool_or_sample_sat.py	bool_or_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
boolean_product_sample_sat.go	boolean_product_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
boolean_product_sample_sat.py	boolean_product_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
channeling_sample_sat.cc	channeling_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
channeling_sample_sat.go	channeling_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
channeling_sample_sat.py	channeling_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
clone_model_sample_sat.cc	clone_model_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
clone_model_sample_sat.py	clone_model_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
code_samples.bzl	code_samples.bzl	Bump Copyright to 2025	Jan 10, 2025
cp_is_fun_sat.cc	cp_is_fun_sat.cc	Bump Copyright to 2025	Jan 10, 2025
cp_is_fun_sat.py	cp_is_fun_sat.py	Bump Copyright to 2025	Jan 10, 2025
cp_sat_example.cc	cp_sat_example.cc	Bump Copyright to 2025	Jan 10, 2025
cp_sat_example.py	cp_sat_example.py	Bump Copyright to 2025	Jan 10, 2025
cumulative_variable_profile_sample_sat.py	cumulative_variable_profile_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
earliness_tardiness_cost_sample_sat.cc	earliness_tardiness_cost_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
earliness_tardiness_cost_sample_sat.go	earliness_tardiness_cost_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
earliness_tardiness_cost_sample_sat.py	earliness_tardiness_cost_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
index_first_boolvar_true_sample_sat.py	index_first_boolvar_true_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
interval_relations_sample_sat.py	interval_relations_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
interval_sample_sat.cc	interval_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
interval_sample_sat.go	interval_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
interval_sample_sat.py	interval_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
literal_sample_sat.cc	literal_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
literal_sample_sat.go	literal_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
literal_sample_sat.py	literal_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
minimal_jobshop_sat.cc	minimal_jobshop_sat.cc	Bump Copyright to 2025	Jan 10, 2025
minimal_jobshop_sat.py	minimal_jobshop_sat.py	Bump Copyright to 2025	Jan 10, 2025
multiple_knapsack_sat.cc	multiple_knapsack_sat.cc	Bump Copyright to 2025	Jan 10, 2025
multiple_knapsack_sat.py	multiple_knapsack_sat.py	Bump Copyright to 2025	Jan 10, 2025
no_overlap_sample_sat.cc	no_overlap_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
no_overlap_sample_sat.go	no_overlap_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
no_overlap_sample_sat.py	no_overlap_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
non_linear_sat.cc	non_linear_sat.cc	Bump Copyright to 2025	Jan 10, 2025
non_linear_sat.py	non_linear_sat.py	Bump Copyright to 2025	Jan 10, 2025
nqueens_sat.cc	nqueens_sat.cc	Bump Copyright to 2025	Jan 10, 2025
nqueens_sat.go	nqueens_sat.go	Bump Copyright to 2025	Jan 10, 2025
nqueens_sat.py	nqueens_sat.py	Bump Copyright to 2025	Jan 10, 2025
nurses_sat.cc	nurses_sat.cc	Bump Copyright to 2025	Jan 10, 2025
nurses_sat.go	nurses_sat.go	Bump Copyright to 2025	Jan 10, 2025
nurses_sat.py	nurses_sat.py	Bump Copyright to 2025	Jan 10, 2025
optional_interval_sample_sat.cc	optional_interval_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
optional_interval_sample_sat.go	optional_interval_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
optional_interval_sample_sat.py	optional_interval_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
overlapping_intervals_sample_sat.py	overlapping_intervals_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
rabbits_and_pheasants_sat.cc	rabbits_and_pheasants_sat.cc	Bump Copyright to 2025	Jan 10, 2025
rabbits_and_pheasants_sat.go	rabbits_and_pheasants_sat.go	Bump Copyright to 2025	Jan 10, 2025
rabbits_and_pheasants_sat.py	rabbits_and_pheasants_sat.py	Bump Copyright to 2025	Jan 10, 2025
ranking_circuit_sample_sat.py	ranking_circuit_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
ranking_sample_sat.cc	ranking_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
ranking_sample_sat.go	ranking_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
ranking_sample_sat.py	ranking_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
reified_sample_sat.cc	reified_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
reified_sample_sat.go	reified_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
reified_sample_sat.py	reified_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
schedule_requests_sat.cc	schedule_requests_sat.cc	Bump Copyright to 2025	Jan 10, 2025
schedule_requests_sat.py	schedule_requests_sat.py	Bump Copyright to 2025	Jan 10, 2025
scheduling_with_calendar_sample_sat.py	scheduling_with_calendar_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
search_for_all_solutions_sample_sat.cc	search_for_all_solutions_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
search_for_all_solutions_sample_sat.go	search_for_all_solutions_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
search_for_all_solutions_sample_sat.py	search_for_all_solutions_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
sequences_in_no_overlap_sample_sat.py	sequences_in_no_overlap_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
simple_sat_program.cc	simple_sat_program.cc	Bump Copyright to 2025	Jan 10, 2025
simple_sat_program.go	simple_sat_program.go	Bump Copyright to 2025	Jan 10, 2025
simple_sat_program.py	simple_sat_program.py	Bump Copyright to 2025	Jan 10, 2025
solution_hinting_sample_sat.cc	solution_hinting_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
solution_hinting_sample_sat.go	solution_hinting_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
solution_hinting_sample_sat.py	solution_hinting_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
solve_and_print_intermediate_solutions_sample_sat.cc	solve_and_print_intermediate_solutions_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
solve_and_print_intermediate_solutions_sample_sat.go	solve_and_print_intermediate_solutions_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
solve_and_print_intermediate_solutions_sample_sat.py	solve_and_print_intermediate_solutions_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
solve_with_time_limit_sample_sat.cc	solve_with_time_limit_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
solve_with_time_limit_sample_sat.go	solve_with_time_limit_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
solve_with_time_limit_sample_sat.py	solve_with_time_limit_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
step_function_sample_sat.cc	step_function_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
step_function_sample_sat.go	step_function_sample_sat.go	Bump Copyright to 2025	Jan 10, 2025
step_function_sample_sat.py	step_function_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
stop_after_n_solutions_sample_sat.cc	stop_after_n_solutions_sample_sat.cc	Bump Copyright to 2025	Jan 10, 2025
stop_after_n_solutions_sample_sat.py	stop_after_n_solutions_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025
transitions_in_no_overlap_sample_sat.py	transitions_in_no_overlap_sample_sat.py	Bump Copyright to 2025	Jan 10, 2025

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

samples

samples

Files

samples

Directory actions

More options

Directory actions

More options

Latest commit

History

samples

Folders and files

parent directory