always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
45aa122adba54eec0051354ecbe8db1ceb2fa9e1
ortools-clone/ortools/sat/samples
History
Corentin Le Molgat 05e3190929 bazel: rename com_google_absl to abseil-cpp
2025-03-24 18:21:42 +01:00
..
all_different_except_zero_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assignment_groups_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assignment_groups_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assignment_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assignment_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assignment_task_sizes_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assignment_task_sizes_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assignment_teams_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assignment_teams_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
AssignmentGroupsSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
AssignmentGroupsSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
AssignmentSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
AssignmentSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
AssignmentTaskSizesSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
AssignmentTaskSizesSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
AssignmentTeamsSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
AssignmentTeamsSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assumptions_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assumptions_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
assumptions_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
AssumptionsSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
AssumptionsSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
bin_packing_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
binpacking_problem_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
binpacking_problem_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
binpacking_problem_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
BinPackingProblemSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
BinPackingProblemSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
bool_and_int_var_product_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
bool_or_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
bool_or_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
bool_or_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
boolean_product_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
boolean_product_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
BoolOrSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
BoolOrSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
BUILD.bazel
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
channeling_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
channeling_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
channeling_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
ChannelingSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
ChannelingSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
clone_model_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
clone_model_sample_sat.py
change cp-sat python cloning example to use deepcopy
2025-03-07 10:30:10 +01:00
CloneModelSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
CMakeLists.txt
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
code_samples.bzl
bazel: rename com_google_absl to abseil-cpp
2025-03-24 18:21:42 +01:00
cp_is_fun_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
cp_is_fun_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
cp_sat_example.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
cp_sat_example.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
CpIsFunSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
CpIsFunSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
CpSatExample.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
CpSatExample.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
cumulative_variable_profile_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
earliness_tardiness_cost_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
earliness_tardiness_cost_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
earliness_tardiness_cost_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
EarlinessTardinessCostSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
EarlinessTardinessCostSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
index_first_boolvar_true_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
interval_relations_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
interval_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
interval_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
interval_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
IntervalSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
IntervalSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
literal_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
literal_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
literal_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
LiteralSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
LiteralSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
minimal_jobshop_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
minimal_jobshop_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
MinimalJobshopSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
MinimalJobshopSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
multiple_knapsack_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
multiple_knapsack_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
MultipleKnapsackSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
MultipleKnapsackSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
no_overlap_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
no_overlap_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
no_overlap_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
non_linear_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
non_linear_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
NonLinearSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
NonLinearSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
NoOverlapSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
NoOverlapSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
nqueens_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
nqueens_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
nqueens_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
NQueensSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
NQueensSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
nurses_sat.cc
[CP-SAT] add StopSearch C++ function.
2025-03-24 04:55:15 -07:00
nurses_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
nurses_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
NursesSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
NursesSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
optional_interval_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
optional_interval_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
optional_interval_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
OptionalIntervalSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
OptionalIntervalSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
overlapping_intervals_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
rabbits_and_pheasants_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
rabbits_and_pheasants_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
rabbits_and_pheasants_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
RabbitsAndPheasantsSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
RabbitsAndPheasantsSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
ranking_circuit_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
ranking_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
ranking_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
ranking_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
RankingSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
RankingSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
reified_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
reified_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
reified_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
ReifiedSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
ReifiedSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
schedule_requests_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
schedule_requests_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
ScheduleRequestsSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
ScheduleRequestsSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
scheduling_with_calendar_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
search_for_all_solutions_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
search_for_all_solutions_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
search_for_all_solutions_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
SearchForAllSolutionsSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
SearchForAllSolutionsSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
sequences_in_no_overlap_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
simple_sat_program.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
simple_sat_program.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
simple_sat_program.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
SimpleSatProgram.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
SimpleSatProgram.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
solution_hinting_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
solution_hinting_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
solution_hinting_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
SolutionHintingSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
SolutionHintingSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
solve_and_print_intermediate_solutions_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
solve_and_print_intermediate_solutions_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
solve_and_print_intermediate_solutions_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
solve_with_time_limit_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
solve_with_time_limit_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
solve_with_time_limit_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
SolveAndPrintIntermediateSolutionsSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
SolveAndPrintIntermediateSolutionsSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
SolveWithTimeLimitSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
SolveWithTimeLimitSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
step_function_sample_sat.cc
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
step_function_sample_sat.go
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
step_function_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
StepFunctionSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
StepFunctionSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
stop_after_n_solutions_sample_sat.cc
[CP-SAT] add StopSearch C++ function.
2025-03-24 04:55:15 -07:00
stop_after_n_solutions_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
StopAfterNSolutionsSampleSat.cs
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
StopAfterNSolutionsSampleSat.java
Bump copyright to 2025
2025-01-10 11:33:35 +01:00
transitions_in_no_overlap_sample_sat.py
Bump copyright to 2025
2025-01-10 11:33:35 +01:00