| | testdata | |
| | binpacking_2d_sat_class01_instance2_test.bintest | 63 B |
| | binpacking_2d_sat.cc | 21.9 KB |
| | BUILD.bazel | 26.3 KB |
| | cgc_data.h | 2.1 KB |
| | cgc_main.cc | 3.0 KB |
| | cgc_test_solution.bintest | 968 B |
| | cgc.cc | 21.8 KB |
| | cgc.h | 2.8 KB |
| | CMakeBazel.txt | 13.2 KB |
| | CMakeLists.txt | 651 B |
| | constraint_programming_cp_test.bintest | 34 B |
| | constraint_programming_cp.cc | 2.4 KB |
| | costas_array_sat_model1_test.bintest | 59 B |
| | costas_array_sat_model2_test.bintest | 59 B |
| | costas_array_sat_model3_test.bintest | 59 B |
| | costas_array_sat.cc | 10.1 KB |
| | cryptarithm_sat_test.bintest | 24 B |
| | cryptarithm_sat.cc | 2.9 KB |
| | dimacs_assignment_max_cost_test.bintest | 122 B |
| | dimacs_assignment_min_cost_test.bintest | 93 B |
| | dimacs_assignment.cc | 7.1 KB |
| | dimacs.asn | 584 B |
| | dobble_ls_test.bintest | 43 B |
| | dobble_ls.cc | 30.4 KB |
| | fap_model_printer.cc | 2.9 KB |
| | fap_model_printer.h | 1.8 KB |
| | fap_parser.cc | 14.1 KB |
| | fap_parser.h | 7.7 KB |
| | fap_utilities.cc | 7.8 KB |
| | fap_utilities.h | 3.0 KB |
| | flow_api_test.bintest | 17 B |
| | flow_api.cc | 3.7 KB |
| | frequency_assignment_problem.cc | 36.0 KB |
| | golomb_sat_test.bintest | 28 B |
| | golomb_sat.cc | 4.2 KB |
| | integer_programming_test.bintest | 28 B |
| | integer_programming.cc | 4.0 KB |
| | jobshop | 357 B |
| | jobshop_sat_ft06.bintest | 36 B |
| | jobshop_sat.cc | 33.0 KB |
| | knapsack_2d_sat_class01_instance2_test.bintest | 61 B |
| | knapsack_2d_sat.cc | 9.2 KB |
| | linear_assignment_api_test.bintest | 30 B |
| | linear_assignment_api.cc | 3.0 KB |
| | linear_programming_test.bintest | 27 B |
| | linear_programming.cc | 4.7 KB |
| | linear_solver_protocol_buffers_test.bintest | 39 B |
| | linear_solver_protocol_buffers.cc | 3.6 KB |
| | magic_sequence_sat_test.bintest | 27 B |
| | magic_sequence_sat.cc | 3.1 KB |
| | magic_square_sat_test.bintest | 25 B |
| | magic_square_sat.cc | 3.1 KB |
| | max_flow_test.bintest | 17 B |
| | max_flow.cc | 2.6 KB |
| | min_cost_flow_test.bintest | 22 B |
| | min_cost_flow.cc | 3.0 KB |
| | mps_driver_test.bintest | 47 B |
| | mps_driver.cc | 6.6 KB |
| | multi_knapsack_sat_test.bintest | 27 B |
| | multi_knapsack_sat.cc | 4.1 KB |
| | network_routing_sat_test.bintest | 234 B |
| | network_routing_sat.cc | 25.9 KB |
| | nqueens_test.bintest | 16 B |
| | nqueens.cc | 9.3 KB |
| | parse_dimacs_assignment.h | 8.0 KB |
| | pdlp_solve.cc | 5.5 KB |
| | pdptw_non_homogenous_fleet_test.bintest | 174 B |
| | pdptw_test.bintest | 73 B |
| | pdptw_with_alternatives_non_homogenous_fleet_test.bintest | 250 B |
| | pdptw_with_alternatives_test.bintest | 83 B |
| | pdptw_with_alternatives.cc | 16.5 KB |
| | pdptw.cc | 16.3 KB |
| | print_dimacs_assignment.h | 2.4 KB |
| | qap_sat.cc | 4.4 KB |
| | random_tsp.cc | 7.4 KB |
| | README.md | 2.7 KB |
| | shift_minimization_sat_test.bintest | 65 B |
| | shift_minimization_sat.cc | 10.7 KB |
| | shift_minimization.dat | 3.3 KB |
| | slitherlink_sat_test.bintest | 24 B |
| | slitherlink_sat.cc | 10.0 KB |
| | sports_scheduling_sat_test.bintest | 30 B |
| | sports_scheduling_sat.cc | 12.3 KB |
| | strawberry_fields_with_column_generation_test.bintest | 69 B |
| | strawberry_fields_with_column_generation.cc | 25.9 KB |
| | uncapacitated_facility_location.cc | 9.9 KB |
| | variable_intervals_sat_test.bintest | 31 B |
| | variable_intervals_sat.cc | 2.9 KB |
| | weighted_tardiness_sat_test.bintest | 51 B |
| | weighted_tardiness_sat.cc | 10.1 KB |
| | wt40.txt | 88.6 KB |
| | xpress_use.cc | 3.7 KB |