samples - OpenGrok cross reference for /dports/math/py-or-tools/or-tools-9.2/ortools/sat/samples/

Name		Date	Size	#Lines	LOC
..		03-May-2022	-
AssignmentSat.cs	H A D	14-Dec-2021	3.9 KiB	123	71
AssignmentSat.java	H A D	14-Dec-2021	3.5 KiB	117	64
AssumptionsSampleSat.cs	H A D	14-Dec-2021	1.8 KiB	56	22
AssumptionsSampleSat.java	H A D	14-Dec-2021	2.2 KiB	72	29
BUILD.bazel	H A D	14-Dec-2021	1.2 KiB	50	25
BinPackingProblemSat.cs	H A D	14-Dec-2021	4 KiB	119	82
BinPackingProblemSat.java	H A D	14-Dec-2021	3.7 KiB	112	73
BoolOrSampleSat.cs	H A D	14-Dec-2021	880	29	12
BoolOrSampleSat.java	H A D	14-Dec-2021	1.1 KiB	31	14
ChannelingSampleSat.cs	H A D	14-Dec-2021	2.5 KiB	78	41
ChannelingSampleSat.java	H A D	14-Dec-2021	2.9 KiB	81	42
CpIsFunSat.cs	H A D	14-Dec-2021	3.7 KiB	113	57
CpIsFunSat.java	H A D	14-Dec-2021	3.6 KiB	109	58
CpSatExample.cs	H A D	14-Dec-2021	2.5 KiB	79	35
CpSatExample.java	H A D	14-Dec-2021	3 KiB	85	37
EarlinessTardinessCostSampleSat.cs	H A D	14-Dec-2021	3 KiB	93	47
EarlinessTardinessCostSampleSat.java	H A D	14-Dec-2021	3.4 KiB	97	50
IntervalSampleSat.cs	H A D	14-Dec-2021	1.5 KiB	40	18
IntervalSampleSat.java	H A D	14-Dec-2021	1.8 KiB	46	23
LiteralSampleSat.cs	H A D	14-Dec-2021	815	26	11
LiteralSampleSat.java	H A D	14-Dec-2021	1.1 KiB	31	14
MinimalJobshopSat.cs	H A D	14-Dec-2021	8.5 KiB	244	174
MinimalJobshopSat.java	H A D	14-Dec-2021	7.7 KiB	224	156
MultipleKnapsackSat.cs	H A D	14-Dec-2021	4.8 KiB	145	90
MultipleKnapsackSat.java	H A D	14-Dec-2021	4.2 KiB	128	76
NQueensSat.cs	H A D	14-Dec-2021	3.7 KiB	119	69
NQueensSat.java	H A D	14-Dec-2021	3.6 KiB	117	66
NoOverlapSampleSat.cs	H A D	14-Dec-2021	2.7 KiB	69	38
NoOverlapSampleSat.java	H A D	14-Dec-2021	3.2 KiB	80	42
NursesSat.cs	H A D	14-Dec-2021	7 KiB	209	142
NursesSat.java	H A D	14-Dec-2021	6.2 KiB	190	122
OptionalIntervalSampleSat.cs	H A D	14-Dec-2021	1.7 KiB	42	20
OptionalIntervalSampleSat.java	H A D	14-Dec-2021	2 KiB	48	25
RabbitsAndPheasantsSat.cs	H A D	14-Dec-2021	1.3 KiB	41	19
RabbitsAndPheasantsSat.java	H A D	14-Dec-2021	1.7 KiB	49	22
RankingSampleSat.cs	H A D	14-Dec-2021	6.7 KiB	172	122
RankingSampleSat.java	H A D	14-Dec-2021	7.2 KiB	181	115
ReifiedSampleSat.cs	H A D	14-Dec-2021	1.3 KiB	39	17
ReifiedSampleSat.java	H A D	14-Dec-2021	1.9 KiB	52	19
ScheduleRequestsSat.cs	H A D	14-Dec-2021	7.8 KiB	239	179
ScheduleRequestsSat.java	H A D	14-Dec-2021	6.5 KiB	211	149
SearchForAllSolutionsSampleSat.cs	H A D	14-Dec-2021	2.4 KiB	85	43
SearchForAllSolutionsSampleSat.java	H A D	14-Dec-2021	2.6 KiB	84	40
SimpleSatProgram.cs	H A D	14-Dec-2021	1.9 KiB	64	26
SimpleSatProgram.java	H A D	14-Dec-2021	2.1 KiB	67	27
SolutionHintingSampleSat.cs	H A D	14-Dec-2021	2.5 KiB	88	44
SolutionHintingSampleSat.java	H A D	14-Dec-2021	2.7 KiB	84	41
SolveAndPrintIntermediateSolutionsSampleSat.cs	H A D	14-Dec-2021	2.6 KiB	86	42
SolveAndPrintIntermediateSolutionsSampleSat.java	H A D	14-Dec-2021	2.8 KiB	89	43
SolveWithTimeLimitSampleSat.cs	H A D	14-Dec-2021	1.6 KiB	50	23
SolveWithTimeLimitSampleSat.java	H A D	14-Dec-2021	1.8 KiB	53	26
StepFunctionSampleSat.cs	H A D	14-Dec-2021	3.3 KiB	97	50
StepFunctionSampleSat.java	H A D	14-Dec-2021	3.5 KiB	101	52
StopAfterNSolutionsSampleSat.cs	H A D	14-Dec-2021	2.4 KiB	73	47
StopAfterNSolutionsSampleSat.java	H A D	14-Dec-2021	2.7 KiB	82	50
assignment_groups_sat.py	H A D	14-Dec-2021	4.3 KiB	142	77
assignment_sat.cc	H A D	14-Dec-2021	3 KiB	108	56
assignment_sat.py	H A D	14-Dec-2021	2.6 KiB	94	42
assignment_task_sizes_sat.py	H A D	14-Dec-2021	3.1 KiB	102	48
assignment_teams_sat.py	H A D	14-Dec-2021	3.1 KiB	110	53
assumptions_sample_sat.cc	H A D	14-Dec-2021	2.1 KiB	70	32
assumptions_sample_sat.py	H A D	14-Dec-2021	1.9 KiB	66	23
binpacking_problem_sat.cc	H A D	14-Dec-2021	2.6 KiB	93	52
binpacking_problem_sat.py	H A D	14-Dec-2021	2.5 KiB	79	38
bool_or_sample_sat.cc	H A D	14-Dec-2021	994	35	15
bool_or_sample_sat.py	H A D	14-Dec-2021	876	29	8
boolean_product_sample_sat.py	H A D	14-Dec-2021	1.4 KiB	44	18
channeling_sample_sat.cc	H A D	14-Dec-2021	2.2 KiB	68	34
channeling_sample_sat.py	H A D	14-Dec-2021	2.5 KiB	78	33
code_samples.bzl	H A D	14-Dec-2021	470	24	20
copy_model_sample_sat.cc	H A D	14-Dec-2021	2 KiB	68	30
copy_model_sample_sat.py	H A D	14-Dec-2021	2 KiB	71	26
cp_is_fun_sat.cc	H A D	14-Dec-2021	3.7 KiB	112	56
cp_is_fun_sat.py	H A D	14-Dec-2021	3.3 KiB	108	50
cp_sat_example.cc	H A D	14-Dec-2021	2.4 KiB	81	35
cp_sat_example.py	H A D	14-Dec-2021	2.3 KiB	76	29
earliness_tardiness_cost_sample_sat.cc	H A D	14-Dec-2021	2.3 KiB	73	36
earliness_tardiness_cost_sample_sat.py	H A D	14-Dec-2021	2.8 KiB	92	39
interval_sample_sat.cc	H A D	14-Dec-2021	2.3 KiB	63	36
interval_sample_sat.py	H A D	14-Dec-2021	1.7 KiB	45	18
literal_sample_sat.cc	H A D	14-Dec-2021	1,018	35	15
literal_sample_sat.py	H A D	14-Dec-2021	863	28	9
minimal_jobshop_sat.cc	H A D	14-Dec-2021	6.9 KiB	210	139
minimal_jobshop_sat.py	H A D	14-Dec-2021	5.6 KiB	156	85
multiple_knapsack_sat.cc	H A D	14-Dec-2021	4.1 KiB	140	84
multiple_knapsack_sat.py	H A D	14-Dec-2021	3.4 KiB	108	57
no_overlap_sample_sat.cc	H A D	14-Dec-2021	2.8 KiB	85	49
no_overlap_sample_sat.py	H A D	14-Dec-2021	2.6 KiB	70	36
nqueens_sat.cc	H A D	14-Dec-2021	3.3 KiB	115	64
nqueens_sat.py	H A D	14-Dec-2021	3.2 KiB	108	49
nurses_sat.cc	H A D	14-Dec-2021	5.6 KiB	189	118
nurses_sat.py	H A D	14-Dec-2021	5.1 KiB	147	77
optional_interval_sample_sat.cc	H A D	14-Dec-2021	2.3 KiB	60	34
optional_interval_sample_sat.py	H A D	14-Dec-2021	1.9 KiB	48	21
overlapping_intervals_sample_sat.py	H A D	14-Dec-2021	3.4 KiB	97	48
rabbits_and_pheasants_sat.cc	H A D	14-Dec-2021	1.5 KiB	47	23
rabbits_and_pheasants_sat.py	H A D	14-Dec-2021	1.2 KiB	41	15
ranking_sample_sat.cc	H A D	14-Dec-2021	5.4 KiB	153	101
ranking_sample_sat.py	H A D	14-Dec-2021	5.9 KiB	154	95
reified_sample_sat.cc	H A D	14-Dec-2021	1.3 KiB	46	20
reified_sample_sat.py	H A D	14-Dec-2021	1.2 KiB	40	14
schedule_requests_sat.cc	H A D	14-Dec-2021	6.2 KiB	229	162
schedule_requests_sat.py	H A D	14-Dec-2021	5 KiB	139	72
scheduling_with_calendar_sample_sat.py	H A D	14-Dec-2021	3.1 KiB	82	38
search_for_all_solutions_sample_sat.cc	H A D	14-Dec-2021	2.1 KiB	71	33
search_for_all_solutions_sample_sat.py	H A D	14-Dec-2021	2.3 KiB	76	30
simple_sat_program.cc	H A D	14-Dec-2021	1.8 KiB	64	26
simple_sat_program.py	H A D	14-Dec-2021	1.7 KiB	59	19
solution_hinting_sample_sat.cc	H A D	14-Dec-2021	2.1 KiB	74	32
solution_hinting_sample_sat.py	H A D	14-Dec-2021	1.8 KiB	61	19
solve_and_print_intermediate_solutions_sample_sat.cc	H A D	14-Dec-2021	2.1 KiB	70	31
solve_and_print_intermediate_solutions_sample_sat.py	H A D	14-Dec-2021	2.5 KiB	80	32
solve_with_time_limit_sample_sat.cc	H A D	14-Dec-2021	1.8 KiB	60	30
solve_with_time_limit_sample_sat.py	H A D	14-Dec-2021	1.5 KiB	48	18
step_function_sample_sat.cc	H A D	14-Dec-2021	2.7 KiB	85	41
step_function_sample_sat.py	H A D	14-Dec-2021	3 KiB	96	41
stop_after_n_solutions_sample_sat.cc	H A D	14-Dec-2021	2.3 KiB	71	42
stop_after_n_solutions_sample_sat.py	H A D	14-Dec-2021	2.3 KiB	66	34