|
..
|
|
colab
|
|
csharp
|
|
docs
|
|
java
|
|
python
|
|
samples
|
|
BUILD.bazel
|
|
CMakeLists.txt
|
|
README.md
|
|
all_different.cc
|
|
all_different.h
|
|
boolean_problem.cc
|
|
boolean_problem.h
|
|
boolean_problem.proto
|
|
circuit.cc
|
|
circuit.h
|
|
clause.cc
|
|
clause.h
|
|
cp_constraints.cc
|
|
cp_constraints.h
|
|
cp_model.cc
|
|
cp_model.h
|
|
cp_model.proto
|
|
cp_model_checker.cc
|
|
cp_model_checker.h
|
|
cp_model_expand.cc
|
|
cp_model_expand.h
|
|
cp_model_lns.cc
|
|
cp_model_lns.h
|
|
cp_model_loader.cc
|
|
cp_model_loader.h
|
|
cp_model_mapping.h
|
|
cp_model_objective.cc
|
|
cp_model_objective.h
|
|
cp_model_postsolve.cc
|
|
cp_model_postsolve.h
|
|
cp_model_presolve.cc
|
|
cp_model_presolve.h
|
|
cp_model_search.cc
|
|
cp_model_search.h
|
|
cp_model_service.proto
|
|
cp_model_solver.cc
|
|
cp_model_solver.h
|
|
cp_model_symmetries.cc
|
|
cp_model_symmetries.h
|
|
cp_model_utils.cc
|
|
cp_model_utils.h
|
|
cumulative.cc
|
|
cumulative.h
|
|
cumulative_energy.cc
|
|
cumulative_energy.h
|
|
cuts.cc
|
|
cuts.h
|
|
diffn.cc
|
|
diffn.h
|
|
diffn_util.cc
|
|
diffn_util.h
|
|
diophantine.cc
|
|
diophantine.h
|
|
disjunctive.cc
|
|
disjunctive.h
|
|
drat_checker.cc
|
|
drat_checker.h
|
|
drat_proof_handler.cc
|
|
drat_proof_handler.h
|
|
drat_writer.cc
|
|
drat_writer.h
|
|
encoding.cc
|
|
encoding.h
|
|
feasibility_pump.cc
|
|
feasibility_pump.h
|
|
implied_bounds.cc
|
|
implied_bounds.h
|
|
inclusion.h
|
|
integer.cc
|
|
integer.h
|
|
integer_expr.cc
|
|
integer_expr.h
|
|
integer_search.cc
|
|
integer_search.h
|
|
intervals.cc
|
|
intervals.h
|
|
lb_tree_search.cc
|
|
lb_tree_search.h
|
|
linear_constraint.cc
|
|
linear_constraint.h
|
|
linear_constraint_manager.cc
|
|
linear_constraint_manager.h
|
|
linear_programming_constraint.cc
|
|
linear_programming_constraint.h
|
|
linear_propagation.cc
|
|
linear_propagation.h
|
|
linear_relaxation.cc
|
|
linear_relaxation.h
|
|
lp_utils.cc
|
|
lp_utils.h
|
|
max_hs.cc
|
|
max_hs.h
|
|
model.h
|
|
opb_reader.h
|
|
optimization.cc
|
|
optimization.h
|
|
parameters_validation.cc
|
|
parameters_validation.h
|
|
pb_constraint.cc
|
|
pb_constraint.h
|
|
precedences.cc
|
|
precedences.h
|
|
presolve_context.cc
|
|
presolve_context.h
|
|
presolve_util.cc
|
|
presolve_util.h
|
|
probing.cc
|
|
probing.h
|
|
pseudo_costs.cc
|
|
pseudo_costs.h
|
|
restart.cc
|
|
restart.h
|
|
rins.cc
|
|
rins.h
|
|
routing_cuts.cc
|
|
routing_cuts.h
|
|
sat_base.h
|
|
sat_cnf_reader.h
|
|
sat_decision.cc
|
|
sat_decision.h
|
|
sat_inprocessing.cc
|
|
sat_inprocessing.h
|
|
sat_parameters.proto
|
|
sat_runner.cc
|
|
sat_solver.cc
|
|
sat_solver.h
|
|
scheduling_constraints.cc
|
|
scheduling_constraints.h
|
|
scheduling_cuts.cc
|
|
scheduling_cuts.h
|
|
simplification.cc
|
|
simplification.h
|
|
subsolver.cc
|
|
subsolver.h
|
|
swig_helper.cc
|
|
swig_helper.h
|
|
symmetry.cc
|
|
symmetry.h
|
|
symmetry_util.cc
|
|
symmetry_util.h
|
|
synchronization.cc
|
|
synchronization.h
|
|
table.cc
|
|
table.h
|
|
theta_tree.cc
|
|
theta_tree.h
|
|
timetable.cc
|
|
timetable.h
|
|
timetable_edgefinding.cc
|
|
timetable_edgefinding.h
|
|
util.cc
|
|
util.h
|
|
var_domination.cc
|
|
var_domination.h
|
|
zero_half_cuts.cc
|
|
zero_half_cuts.h
|