|
..
|
|
c_api
|
|
colab
|
|
csharp
|
|
docs
|
|
fuzz_testdata
|
|
go
|
|
java
|
|
python
|
|
samples
|
|
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
|