Docs.rs
converge-optimization-0.1.1
Platform
aarch64-apple-darwin
aarch64-unknown-linux-gnu
i686-pc-windows-msvc
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
converge-optimization 0.1.1
Optimization algorithms for converge.zone - Rust reimplementation of OR-Tools subset
Crate
Source
Builds
Feature flags
Documentation
Hide files
..
testdata
binpacking_2d_sat.cc
binpacking_2d_sat_class01_instance2_test.bintest
BUILD.bazel
cgc.cc
cgc.h
cgc_data.h
cgc_main.cc
cgc_test_solution.bintest
CMakeBazel.txt
CMakeLists.txt
constraint_programming_cp.cc
constraint_programming_cp_test.bintest
costas_array_sat.cc
costas_array_sat_model1_test.bintest
costas_array_sat_model2_test.bintest
costas_array_sat_model3_test.bintest
cryptarithm_sat.cc
cryptarithm_sat_test.bintest
dimacs.asn
dimacs_assignment.cc
dimacs_assignment_max_cost_test.bintest
dimacs_assignment_min_cost_test.bintest
dobble_ls.cc
dobble_ls_test.bintest
fap_model_printer.cc
fap_model_printer.h
fap_parser.cc
fap_parser.h
fap_utilities.cc
fap_utilities.h
flow_api.cc
flow_api_test.bintest
frequency_assignment_problem.cc
golomb_sat.cc
golomb_sat_test.bintest
integer_programming.cc
integer_programming_test.bintest
jobshop
jobshop_sat.cc
jobshop_sat_ft06.bintest
knapsack_2d_sat.cc
knapsack_2d_sat_class01_instance2_test.bintest
linear_assignment_api.cc
linear_assignment_api_test.bintest
linear_programming.cc
linear_programming_test.bintest
linear_solver_protocol_buffers.cc
linear_solver_protocol_buffers_test.bintest
magic_sequence_sat.cc
magic_sequence_sat_test.bintest
magic_square_sat.cc
magic_square_sat_test.bintest
max_flow.cc
max_flow_test.bintest
min_cost_flow.cc
min_cost_flow_test.bintest
mps_driver.cc
mps_driver_test.bintest
multi_knapsack_sat.cc
multi_knapsack_sat_test.bintest
network_routing_sat.cc
network_routing_sat_test.bintest
nqueens.cc
nqueens_test.bintest
parse_dimacs_assignment.h
pdlp_solve.cc
pdptw.cc
pdptw_non_homogenous_fleet_test.bintest
pdptw_test.bintest
pdptw_with_alternatives.cc
pdptw_with_alternatives_non_homogenous_fleet_test.bintest
pdptw_with_alternatives_test.bintest
print_dimacs_assignment.h
qap_sat.cc
random_tsp.cc
README.md
shift_minimization.dat
shift_minimization_sat.cc
shift_minimization_sat_test.bintest
slitherlink_sat.cc
slitherlink_sat_test.bintest
sports_scheduling_sat.cc
sports_scheduling_sat_test.bintest
strawberry_fields_with_column_generation.cc
strawberry_fields_with_column_generation_test.bintest
uncapacitated_facility_location.cc
variable_intervals_sat.cc
variable_intervals_sat_test.bintest
weighted_tardiness_sat.cc
weighted_tardiness_sat_test.bintest
wt40.txt
xpress_use.cc
1
RUN: $(shift_minimization_sat) --input $(shift_minimization.dat)