| | c_api | |
| | colab | |
| | csharp | |
| | docs | |
| | fuzz_testdata | |
| | go | |
| | java | |
| | python | |
| | samples | |
| | 2d_distances_propagator.cc | 8.7 KB |
| | 2d_distances_propagator.h | 3.5 KB |
| | 2d_mandatory_overlap_propagator.cc | 3.9 KB |
| | 2d_mandatory_overlap_propagator.h | 2.1 KB |
| | 2d_orthogonal_packing_test.cc | 20.0 KB |
| | 2d_orthogonal_packing_testing.cc | 9.1 KB |
| | 2d_orthogonal_packing_testing.h | 2.0 KB |
| | 2d_orthogonal_packing.cc | 34.5 KB |
| | 2d_orthogonal_packing.h | 12.1 KB |
| | 2d_packing_brute_force_test.cc | 14.3 KB |
| | 2d_packing_brute_force.cc | 26.6 KB |
| | 2d_packing_brute_force.h | 2.2 KB |
| | 2d_rectangle_presolve_test.cc | 41.6 KB |
| | 2d_rectangle_presolve.cc | 62.9 KB |
| | 2d_rectangle_presolve.h | 9.5 KB |
| | 2d_try_edge_propagator_test.cc | 10.4 KB |
| | 2d_try_edge_propagator.cc | 17.1 KB |
| | 2d_try_edge_propagator.h | 4.5 KB |
| | all_different_test.cc | 7.3 KB |
| | all_different.cc | 24.3 KB |
| | all_different.h | 10.2 KB |
| | BUILD.bazel | 133.9 KB |
| | circuit_main.cc | 9.6 KB |
| | circuit_test.cc | 11.7 KB |
| | circuit.cc | 28.5 KB |
| | circuit.h | 10.3 KB |
| | clause_test.cc | 15.2 KB |
| | clause.cc | 138.8 KB |
| | clause.h | 47.6 KB |
| | CMakeLists.txt | 3.9 KB |
| | combine_solutions_test.cc | 2.1 KB |
| | combine_solutions.cc | 4.0 KB |
| | combine_solutions.h | 2.3 KB |
| | constraint_violation_test.cc | 24.7 KB |
| | constraint_violation.cc | 85.1 KB |
| | constraint_violation.h | 29.8 KB |
| | container_test.cc | 4.1 KB |
| | container.h | 8.6 KB |
| | cp_constraints_test.cc | 4.9 KB |
| | cp_constraints.cc | 8.0 KB |
| | cp_constraints.h | 6.5 KB |
| | cp_model_checker_test.cc | 20.7 KB |
| | cp_model_checker.cc | 76.4 KB |
| | cp_model_checker.h | 3.6 KB |
| | cp_model_copy_test.cc | 22.0 KB |
| | cp_model_copy.cc | 75.6 KB |
| | cp_model_copy.h | 17.2 KB |
| | cp_model_expand_test.cc | 75.5 KB |
| | cp_model_expand.cc | 116.0 KB |
| | cp_model_expand.h | 1.6 KB |
| | cp_model_lns_test.cc | 29.1 KB |
| | cp_model_lns.cc | 114.3 KB |
| | cp_model_lns.h | 38.0 KB |
| | cp_model_loader.cc | 70.2 KB |
| | cp_model_loader.h | 5.4 KB |
| | cp_model_mapping.h | 9.7 KB |
| | cp_model_postsolve_test.cc | 11.2 KB |
| | cp_model_postsolve.cc | 22.3 KB |
| | cp_model_postsolve.h | 2.8 KB |
| | cp_model_presolve_random_test.cc | 12.4 KB |
| | cp_model_presolve_test.cc | 243.8 KB |
| | cp_model_presolve.cc | 582.9 KB |
| | cp_model_presolve.h | 21.8 KB |
| | cp_model_search_test.cc | 13.2 KB |
| | cp_model_search.cc | 43.0 KB |
| | cp_model_search.h | 6.8 KB |
| | cp_model_service.proto | 1.3 KB |
| | cp_model_solver_helpers.cc | 91.9 KB |
| | cp_model_solver_helpers.h | 6.9 KB |
| | cp_model_solver_logging.cc | 5.4 KB |
| | cp_model_solver_logging.h | 2.3 KB |
| | cp_model_solver_test.cc | 167.1 KB |
| | cp_model_solver.cc | 131.8 KB |
| | cp_model_solver.h | 5.1 KB |
| | cp_model_symmetries_test.cc | 18.8 KB |
| | cp_model_symmetries.cc | 69.8 KB |
| | cp_model_symmetries.h | 3.5 KB |
| | cp_model_table_test.cc | 8.5 KB |
| | cp_model_table.cc | 13.3 KB |
| | cp_model_table.h | 3.2 KB |
| | cp_model_test_utils.cc | 3.5 KB |
| | cp_model_test_utils.h | 1.4 KB |
| | cp_model_test.cc | 69.7 KB |
| | cp_model_utils_test.cc | 12.3 KB |
| | cp_model_utils.cc | 43.5 KB |
| | cp_model_utils.h | 17.0 KB |
| | cp_model.cc | 56.2 KB |
| | cp_model.h | 48.7 KB |
| | cp_model.proto | 34.8 KB |
| | cumulative_energy_test.cc | 22.5 KB |
| | cumulative_energy.cc | 25.9 KB |
| | cumulative_energy.h | 6.0 KB |
| | cumulative_test.cc | 16.3 KB |
| | cumulative.cc | 17.4 KB |
| | cumulative.h | 3.2 KB |
| | cuts_test.cc | 43.8 KB |
| | cuts.cc | 115.3 KB |
| | cuts.h | 32.1 KB |
| | debug_solution.cc | 8.0 KB |
| | debug_solution.h | 4.1 KB |
| | diffn_cuts.cc | 27.3 KB |
| | diffn_cuts.h | 3.7 KB |
| | diffn_test.cc | 6.9 KB |
| | diffn_util_test.cc | 50.3 KB |
| | diffn_util.cc | 79.1 KB |
| | diffn_util.h | 28.9 KB |
| | diffn.cc | 46.1 KB |
| | diffn.h | 7.1 KB |
| | diophantine_test.cc | 7.5 KB |
| | diophantine.cc | 9.1 KB |
| | diophantine.h | 5.8 KB |
| | disjunctive_test.cc | 20.9 KB |
| | disjunctive.cc | 76.0 KB |
| | disjunctive.h | 14.3 KB |
| | drat_checker_test.cc | 14.1 KB |
| | drat_checker.cc | 22.9 KB |
| | drat_checker.h | 15.5 KB |
| | encoding_test.cc | 3.5 KB |
| | encoding.cc | 26.9 KB |
| | encoding.h | 11.8 KB |
| | enforcement_helper.cc | 5.2 KB |
| | enforcement_helper.h | 3.8 KB |
| | enforcement_test.cc | 5.8 KB |
| | enforcement.cc | 10.8 KB |
| | enforcement.h | 4.8 KB |
| | feasibility_jump_test.cc | 2.6 KB |
| | feasibility_jump.cc | 46.8 KB |
| | feasibility_jump.h | 22.4 KB |
| | feasibility_pump_test.cc | 5.9 KB |
| | feasibility_pump.cc | 28.3 KB |
| | feasibility_pump.h | 9.3 KB |
| | flaky_models_test.cc | 2.7 KB |
| | gate_congruence_closure.cc | 65.9 KB |
| | gate_congruence_closure.h | 9.5 KB |
| | gate_utils_test.cc | 9.4 KB |
| | gate_utils.cc | 39.6 KB |
| | gate_utils.h | 16.5 KB |
| | implied_bounds_test.cc | 28.2 KB |
| | implied_bounds.cc | 34.2 KB |
| | implied_bounds.h | 17.3 KB |
| | inclusion_test.cc | 7.5 KB |
| | inclusion.h | 20.6 KB |
| | integer_base_test.cc | 8.0 KB |
| | integer_base.cc | 9.1 KB |
| | integer_base.h | 23.3 KB |
| | integer_expr_test.cc | 86.9 KB |
| | integer_expr.cc | 73.3 KB |
| | integer_expr.h | 32.2 KB |
| | integer_resolution.cc | 25.5 KB |
| | integer_resolution.h | 5.1 KB |
| | integer_search_test.cc | 5.1 KB |
| | integer_search.cc | 84.7 KB |
| | integer_search.h | 17.2 KB |
| | integer_test.cc | 53.7 KB |
| | integer.cc | 102.1 KB |
| | integer.h | 80.6 KB |
| | intervals_test.cc | 2.0 KB |
| | intervals.cc | 20.1 KB |
| | intervals.h | 13.9 KB |
| | lb_tree_search_test.cc | 1.3 KB |
| | lb_tree_search.cc | 42.9 KB |
| | lb_tree_search.h | 8.5 KB |
| | linear_constraint_manager_test.cc | 18.2 KB |
| | linear_constraint_manager.cc | 40.9 KB |
| | linear_constraint_manager.h | 18.3 KB |
| | linear_constraint_test.cc | 17.2 KB |
| | linear_constraint.cc | 16.1 KB |
| | linear_constraint.h | 17.8 KB |
| | linear_model_test.cc | 4.2 KB |
| | linear_model.cc | 8.9 KB |
| | linear_model.h | 2.2 KB |
| | linear_programming_constraint_test.cc | 11.4 KB |
| | linear_programming_constraint.cc | 119.2 KB |
| | linear_programming_constraint.h | 26.4 KB |
| | linear_propagation_test.cc | 10.6 KB |
| | linear_propagation.cc | 40.8 KB |
| | linear_propagation.h | 15.3 KB |
| | linear_relaxation_test.cc | 39.4 KB |
| | linear_relaxation.cc | 90.3 KB |
| | linear_relaxation.h | 10.8 KB |
| | lp_utils.cc | 74.3 KB |
| | lp_utils.h | 12.9 KB |
| | lrat_checker_main.cc | 6.8 KB |
| | lrat_checker_test.cc | 16.8 KB |
| | lrat_checker.cc | 13.6 KB |
| | lrat_checker.h | 9.2 KB |
| | lrat_proof_handler_test.cc | 2.4 KB |
| | lrat_proof_handler.cc | 41.7 KB |
| | lrat_proof_handler.h | 12.1 KB |
| | lrat.proto | 4.8 KB |
| | max_hs.cc | 25.8 KB |
| | max_hs.h | 7.4 KB |
| | model_test.cc | 2.0 KB |
| | model.h | 7.7 KB |
| | no_overlap_2d_helper.cc | 17.0 KB |
| | no_overlap_2d_helper.h | 9.8 KB |
| | old_precedences_propagator.cc | 26.8 KB |
| | old_precedences_propagator.h | 15.4 KB |
| | opb_reader_test.cc | 7.8 KB |
| | opb_reader.h | 12.9 KB |
| | optimization_test.cc | 5.9 KB |
| | optimization.cc | 51.2 KB |
| | optimization.h | 8.1 KB |
| | parameters_validation_test.cc | 4.0 KB |
| | parameters_validation.cc | 9.4 KB |
| | parameters_validation.h | 1.1 KB |
| | pb_constraint_test.cc | 26.9 KB |
| | pb_constraint.cc | 46.4 KB |
| | pb_constraint.h | 30.7 KB |
| | precedences_test.cc | 47.5 KB |
| | precedences.cc | 68.8 KB |
| | precedences.h | 37.2 KB |
| | presolve_context_test.cc | 38.9 KB |
| | presolve_context.cc | 104.7 KB |
| | presolve_context.h | 36.6 KB |
| | presolve_encoding_test.cc | 12.8 KB |
| | presolve_encoding.cc | 37.8 KB |
| | presolve_encoding.h | 4.6 KB |
| | presolve_util_test.cc | 16.5 KB |
| | presolve_util.cc | 24.6 KB |
| | presolve_util.h | 14.1 KB |
| | primary_variables_test.cc | 4.1 KB |
| | primary_variables.cc | 25.8 KB |
| | primary_variables.h | 3.4 KB |
| | probing_test.cc | 3.2 KB |
| | probing.cc | 68.1 KB |
| | probing.h | 19.4 KB |
| | pseudo_costs_test.cc | 10.8 KB |
| | pseudo_costs.cc | 11.3 KB |
| | pseudo_costs.h | 5.2 KB |
| | README.md | 7.3 KB |
| | recordio_test.cc | 1.9 KB |
| | recordio.cc | 1.6 KB |
| | recordio.h | 1.9 KB |
| | restart_test.cc | 2.6 KB |
| | restart.cc | 6.5 KB |
| | restart.h | 3.5 KB |
| | rins_test.cc | 6.2 KB |
| | rins.cc | 8.6 KB |
| | rins.h | 2.6 KB |
| | routes_support_graph.proto | 1.2 KB |
| | routing_cuts_test.cc | 98.0 KB |
| | routing_cuts.cc | 134.8 KB |
| | routing_cuts.h | 32.0 KB |
| | sat_base_test.cc | 4.7 KB |
| | sat_base.cc | 2.8 KB |
| | sat_base.h | 50.0 KB |
| | sat_cnf_reader_test.cc | 7.5 KB |
| | sat_cnf_reader.h | 11.0 KB |
| | sat_decision_test.cc | 6.0 KB |
| | sat_decision.cc | 18.7 KB |
| | sat_decision.h | 11.5 KB |
| | sat_inprocessing_test.cc | 11.0 KB |
| | sat_inprocessing.cc | 76.8 KB |
| | sat_inprocessing.h | 17.0 KB |
| | sat_parameters.proto | 95.9 KB |
| | sat_runner.cc | 16.1 KB |
| | sat_solver.cc | 121.1 KB |
| | sat_solver.h | 46.0 KB |
| | sat_sweeping_test.cc | 3.6 KB |
| | sat_sweeping.cc | 25.7 KB |
| | sat_sweeping.h | 5.3 KB |
| | scheduling_cuts_test.cc | 29.3 KB |
| | scheduling_cuts.cc | 79.4 KB |
| | scheduling_cuts.h | 9.7 KB |
| | scheduling_helpers_test.cc | 11.1 KB |
| | scheduling_helpers.cc | 45.8 KB |
| | scheduling_helpers.h | 35.5 KB |
| | scheduling_model.cc | 24.0 KB |
| | scheduling_model.h | 4.3 KB |
| | shaving_solver.cc | 28.3 KB |
| | shaving_solver.h | 4.8 KB |
| | simplification.cc | 45.6 KB |
| | simplification.h | 18.4 KB |
| | solution_crush.cc | 28.8 KB |
| | solution_crush.h | 17.0 KB |
| | stat_tables.cc | 17.6 KB |
| | stat_tables.h | 3.2 KB |
| | subsolver_test.cc | 3.2 KB |
| | subsolver.cc | 10.9 KB |
| | subsolver.h | 8.9 KB |
| | swig_helper.cc | 6.2 KB |
| | swig_helper.h | 5.2 KB |
| | symmetry_test.cc | 5.8 KB |
| | symmetry_util_test.cc | 6.2 KB |
| | symmetry_util.cc | 8.4 KB |
| | symmetry_util.h | 4.6 KB |
| | symmetry.cc | 9.0 KB |
| | symmetry.h | 8.0 KB |
| | synchronization_test.cc | 38.0 KB |
| | synchronization.cc | 64.1 KB |
| | synchronization.h | 52.5 KB |
| | table_test.cc | 21.2 KB |
| | table.cc | 2.5 KB |
| | table.h | 1.3 KB |
| | timetable_edgefinding.cc | 17.4 KB |
| | timetable_edgefinding.h | 4.9 KB |
| | timetable_test.cc | 20.8 KB |
| | timetable.cc | 28.6 KB |
| | timetable.h | 8.3 KB |
| | util_test.cc | 41.0 KB |
| | util.cc | 34.1 KB |
| | util.h | 51.7 KB |
| | var_domination_test.cc | 30.6 KB |
| | var_domination.cc | 79.6 KB |
| | var_domination.h | 13.0 KB |
| | variable_expand.cc | 35.5 KB |
| | variable_expand.h | 4.0 KB |
| | vivification.cc | 17.4 KB |
| | vivification.h | 3.8 KB |
| | work_assignment_test.cc | 23.3 KB |
| | work_assignment.cc | 61.7 KB |
| | work_assignment.h | 19.4 KB |
| | zero_half_cuts_test.cc | 4.3 KB |
| | zero_half_cuts.cc | 9.7 KB |
| | zero_half_cuts.h | 5.0 KB |