always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
01a74c2ea227b310ba5ab0f223e2748c50396ab9
ortools-clone/ortools/sat/samples
History
Guillaume Chatelet b880e0fb64 Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
..
all_different_except_zero_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
assignment_groups_sat.cc
…
assignment_groups_sat.py
sync with main
2025-06-02 14:25:50 +02:00
assignment_sat.cc
…
assignment_sat.py
sync with main
2025-06-02 14:25:50 +02:00
assignment_task_sizes_sat.cc
…
assignment_task_sizes_sat.py
sync with main
2025-06-02 14:25:50 +02:00
assignment_teams_sat.cc
…
assignment_teams_sat.py
sync with main
2025-06-02 14:25:50 +02:00
AssignmentGroupsSat.cs
…
AssignmentGroupsSat.java
…
AssignmentGroupsSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
AssignmentSat.cs
…
AssignmentSat.java
…
AssignmentSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
AssignmentTaskSizesSat.cs
…
AssignmentTaskSizesSat.java
…
AssignmentTaskSizesSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
AssignmentTeamsSat.cs
…
AssignmentTeamsSat.java
…
AssignmentTeamsSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
assumptions_sample_sat.cc
…
assumptions_sample_sat.go
sat: backport from main
2025-07-23 15:04:05 +02:00
assumptions_sample_sat.py
sync with main
2025-06-02 14:25:50 +02:00
AssumptionsSampleSat.cs
…
AssumptionsSampleSat.java
…
AssumptionsSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
bin_packing_sat.py
sync with main
2025-06-02 14:25:50 +02:00
binpacking_problem_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
binpacking_problem_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
binpacking_problem_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
BinPackingProblemSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
BinPackingProblemSat.java
backport from main:
2025-09-16 16:25:04 +02:00
BinPackingProblemSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
bool_and_int_var_product_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
bool_or_sample_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
bool_or_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
bool_or_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
boolean_product_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
boolean_product_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
BoolOrSampleSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
BoolOrSampleSat.java
backport from main:
2025-09-16 16:25:04 +02:00
BoolOrSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
BUILD.bazel
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
channeling_sample_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
channeling_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
channeling_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
ChannelingSampleSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
ChannelingSampleSat.java
backport from main:
2025-09-16 16:25:04 +02:00
ChannelingSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
clone_model_sample_sat.cc
…
clone_model_sample_sat.py
…
CloneModelSampleSat.java
…
CloneModelSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
CMakeLists.txt
…
cp_is_fun_sat.cc
…
cp_is_fun_sat.py
sync with main
2025-06-02 14:25:50 +02:00
cp_sat_example.cc
…
cp_sat_example.py
sync with main
2025-06-02 14:25:50 +02:00
CpIsFunSat.cs
…
CpIsFunSat.java
…
CpIsFunSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
CpSatExample.cs
…
CpSatExample.java
…
CpSatExampleTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
cumulative_variable_profile_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
earliness_tardiness_cost_sample_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
earliness_tardiness_cost_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
earliness_tardiness_cost_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
EarlinessTardinessCostSampleSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
EarlinessTardinessCostSampleSat.java
backport from main:
2025-09-16 16:25:04 +02:00
EarlinessTardinessCostSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
index_first_boolvar_true_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
interval_relations_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
interval_sample_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
interval_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
interval_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
IntervalSampleSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
IntervalSampleSat.java
backport from main:
2025-09-16 16:25:04 +02:00
IntervalSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
literal_sample_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
literal_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
literal_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
LiteralSampleSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
LiteralSampleSat.java
backport from main:
2025-09-16 16:25:04 +02:00
LiteralSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
minimal_jobshop_sat.cc
…
minimal_jobshop_sat.py
sync with main
2025-06-02 14:25:50 +02:00
MinimalJobshopSat.cs
…
MinimalJobshopSat.java
…
MinimalJobshopSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
multiple_knapsack_sat.cc
…
multiple_knapsack_sat.py
sync with main
2025-06-02 14:25:50 +02:00
MultipleKnapsackSat.cs
…
MultipleKnapsackSat.java
…
MultipleKnapsackSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
no_overlap_sample_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
no_overlap_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
no_overlap_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
non_linear_sat.cc
…
non_linear_sat.py
…
NonLinearSat.cs
…
NonLinearSat.java
…
NonLinearSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
NoOverlapSampleSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
NoOverlapSampleSat.java
backport from main:
2025-09-16 16:25:04 +02:00
NoOverlapSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
nqueens_sat.cc
…
nqueens_sat.go
…
nqueens_sat.py
sync with main
2025-06-02 14:25:50 +02:00
NQueensSat.cs
…
NQueensSat.java
…
NQueensSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
nurses_sat.cc
…
nurses_sat.go
…
nurses_sat.py
sync with main
2025-06-02 14:25:50 +02:00
NursesSat.cs
…
NursesSat.java
…
NursesSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
optional_interval_sample_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
optional_interval_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
optional_interval_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
OptionalIntervalSampleSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
OptionalIntervalSampleSat.java
backport from main:
2025-09-16 16:25:04 +02:00
OptionalIntervalSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
overlapping_intervals_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
rabbits_and_pheasants_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
rabbits_and_pheasants_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
rabbits_and_pheasants_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
RabbitsAndPheasantsSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
RabbitsAndPheasantsSat.java
backport from main:
2025-09-16 16:25:04 +02:00
RabbitsAndPheasantsSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
ranking_circuit_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
ranking_sample_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
ranking_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
ranking_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
RankingSampleSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
RankingSampleSat.java
backport from main:
2025-09-16 16:25:04 +02:00
RankingSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
reified_sample_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
reified_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
reified_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
ReifiedSampleSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
ReifiedSampleSat.java
backport from main:
2025-09-16 16:25:04 +02:00
ReifiedSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
schedule_requests_sat.cc
…
schedule_requests_sat.py
sync with main
2025-06-02 14:25:50 +02:00
ScheduleRequestsSat.cs
…
ScheduleRequestsSat.java
…
ScheduleRequestsSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
scheduling_with_calendar_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
search_for_all_solutions_sample_sat.cc
…
search_for_all_solutions_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
search_for_all_solutions_sample_sat.py
…
SearchForAllSolutionsSampleSat.cs
…
SearchForAllSolutionsSampleSat.java
…
SearchForAllSolutionsSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
sequences_in_no_overlap_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
simple_sat_program.cc
…
simple_sat_program.go
backport from main:
2025-09-16 16:25:04 +02:00
simple_sat_program.py
sync with main
2025-06-02 14:25:50 +02:00
SimpleSatProgram.cs
…
SimpleSatProgram.java
…
SimpleSatProgramTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
soft_constraints_sat.py
[CP-SAT] add soft constraint examples
2025-12-01 17:48:15 +01:00
solution_hinting_sample_sat.cc
…
solution_hinting_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
solution_hinting_sample_sat.py
…
SolutionHintingSampleSat.cs
…
SolutionHintingSampleSat.java
…
SolutionHintingSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
solve_and_print_intermediate_solutions_sample_sat.cc
…
solve_and_print_intermediate_solutions_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
solve_and_print_intermediate_solutions_sample_sat.py
…
solve_with_time_limit_sample_sat.cc
…
solve_with_time_limit_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
solve_with_time_limit_sample_sat.py
…
SolveAndPrintIntermediateSolutionsSampleSat.cs
…
SolveAndPrintIntermediateSolutionsSampleSat.java
…
SolveAndPrintIntermediateSolutionsSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
SolveWithTimeLimitSampleSat.cs
…
SolveWithTimeLimitSampleSat.java
…
SolveWithTimeLimitSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
step_function_sample_sat.cc
backport from main:
2025-09-16 16:25:04 +02:00
step_function_sample_sat.go
backport from main:
2025-09-16 16:25:04 +02:00
step_function_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00
StepFunctionSampleSat.cs
backport from main:
2025-09-16 16:25:04 +02:00
StepFunctionSampleSat.java
backport from main:
2025-09-16 16:25:04 +02:00
StepFunctionSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
stop_after_n_solutions_sample_sat.cc
…
stop_after_n_solutions_sample_sat.py
…
StopAfterNSolutionsSampleSat.cs
…
StopAfterNSolutionsSampleSat.java
…
StopAfterNSolutionsSampleSatTest.bintest
Use new bintest framework (#4928)
2025-12-02 15:33:12 +01:00
transitions_in_no_overlap_sample_sat.py
backport from main:
2025-09-16 16:25:04 +02:00