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
..
1d_rubiks_cube.fzn
2DPacking.fzn
3_coins.fzn
3_jugs.fzn
3_jugs2.fzn
3_jugs2_all.fzn
50_puzzle.fzn
5x5_puzzle.fzn
99_bottles_of_beer.fzn
a_puzzle.fzn
a_round_of_golf.fzn
abbott.fzn
abc_endview.fzn
abpuzzle.fzn
added_corner.fzn
adjacency_matrix_from_degrees.fzn
ages2.fzn
alien.fzn
all_differ_from_at_least_k_pos.fzn
all_different_modulo.fzn
all_equal_me.fzn
all_interval.fzn
all_interval1.fzn
all_interval2.fzn
all_interval3.fzn
all_interval4.fzn
all_interval5.fzn
all_interval6.fzn
all_min_dist.fzn
all_paths_graph.fzn
alldifferent_consecutive_values.fzn
alldifferent_cst.fzn
alldifferent_except_0.fzn
alldifferent_interval.fzn
alldifferent_modulo.fzn
alldifferent_on_intersection.fzn
alldifferent_same_value.fzn
alldifferent_soft.fzn
allocating_developments.fzn
allperm.fzn
alpha.fzn
among_diff_0.fzn
among_interval.fzn
among_low_up.fzn
among_modulo.fzn
among_seq.fzn
and.fzn
another_kind_of_magic_square.fzn
antisymmetric.fzn
arch_friends.fzn
argmax.fzn
arith.fzn
arith_or.fzn
arith_sliding.fzn
arithmetic_ring.fzn
arrow.fzn
artificial_intelligence.fzn
assign_and_counts.fzn
assign_and_nvalues.fzn
assignment.fzn
assignment2.fzn
assignment2_2.fzn
assignment3.fzn
assignment4.fzn
assignment5.fzn
assignment6.fzn
atom_smasher.fzn
averbach_1.2.fzn
averbach_1.3.fzn
averbach_1.4.fzn
averbach_1.5.fzn
averback_1.4.fzn
babysitting.fzn
balance.fzn
balance_interval.fzn
balance_modulo.fzn
balanced_brackets.fzn
balanced_matrix.fzn
bales_of_hay.fzn
bank_card.fzn
battleships10.fzn
battleships_1.fzn
battleships_2.fzn
battleships_3.fzn
battleships_4.fzn
battleships_5.fzn
battleships_6.fzn
battleships_7.fzn
battleships_8.fzn
battleships_9.fzn
best_shuffle.fzn
between_min_max.fzn
bin_packing2.fzn
bin_packing_me.fzn
binary_matrix2array.fzn
binary_tree.fzn
binero.fzn
birthdays_2010.fzn
birthdays_coins.fzn
bit_vector1.fzn
blending_problem.fzn
blocksworld_instance_1.fzn
blocksworld_instance_2.fzn
blueberry_muffins.fzn
bobs_sale.fzn
bokus_competition.fzn
book_buy.fzn
bpp.fzn
breaking_news.fzn
bridges_to_somewhere.fzn
broken_weights.fzn
buckets.fzn
bug_unsat.fzn
building_a_house.fzn
building_a_house2.fzn
building_a_house_model.fzn
building_blocks.fzn
bus.fzn
bus_scheduling.fzn
bus_scheduling_csplib.fzn
calculs_d_enfer.fzn
calvin_puzzle.fzn
candles.fzn
capital_budget2.fzn
car.fzn
car_painting.fzn
cardinality_atleast.fzn
cardinality_atmost.fzn
catalan_numbers.fzn
change.fzn
change_pair.fzn
checker_puzzle.fzn
chessset.fzn
choose_your_crew.fzn
circling_squares.fzn
circuit_path.fzn
circuit_test.fzn
circular_change.fzn
clock_triplets.fzn
coins.fzn
coins3.fzn
coins_41_58.fzn
coins_grid.fzn
coins_problem.fzn
col_sum_puzzle.fzn
collatz.fzn
collatz2.fzn
color_simple.fzn
coloring_ip.fzn
combinatorial_auction.fzn
common.fzn
common_interval.fzn
cond_lex_cost.fzn
cond_lex_less.fzn
config.fzn
congress.fzn
connected.fzn
consecutive_digits.fzn
consecutive_values.fzn
constraint.fzn
contains_array.fzn
contiguity_regular.fzn
contractor_costs.fzn
correspondence.fzn
costas_array.fzn
count_ctr.fzn
counts.fzn
crew.fzn
critical_path1.fzn
crossbar.fzn
crossfigure.fzn
crossword.fzn
crossword2.fzn
crossword_bratko.fzn
crowd.fzn
crypta.fzn
crypto.fzn
crypto_ip.fzn
cube_sum.fzn
cumulative_test.fzn
cumulative_test_mats_carlsson.fzn
cur_num.fzn
curious_set_of_integers.fzn
cutstock.fzn
cutting_stock_winston.fzn
cycle_test2.fzn
czech_logical_labyrinth.fzn
debruijn2.fzn
debruijn2d.fzn
debruijn2d_2.fzn
debruijn2d_3.fzn
debruijn_binary.fzn
debruijn_mike_winter2.fzn
debruijn_mike_winter3.fzn
debruijn_no_repetition.fzn
decision_tree_binary.fzn
decreasing_me.fzn
defending_castle.fzn
dennys_menu.fzn
derangement.fzn
devils_word.fzn
diet1.fzn
differs_from_at_least_k_pos.fzn
diffn_me.fzn
digital_roots.fzn
digits_of_the_square.fzn
dimes.fzn
dinner.fzn
disjunctive.fzn
distance_between.fzn
distance_change.fzn
dividing_the_spoils.fzn
divisible_by_7.fzn
divisible_by_9_trough_1.fzn
domain.fzn
domain_constraint.fzn
donald.fzn
dqueens.fzn
drinking_game.fzn
dudeney_bishop_placement1.fzn
dudeney_bishop_placement2.fzn
dudeney_numbers.fzn
earthlin.fzn
egg_basket.fzn
ein_ein_ein_ein_vier.fzn
einav_puzzle.fzn
einstein_hurlimann.fzn
einstein_opl.fzn
element_greatereq.fzn
element_lesseq.fzn
element_matrix.fzn
element_product.fzn
element_sparse.fzn
elementn.fzn
elements.fzn
elements_alldifferent.fzn
elevator_6_3.fzn
elevator_8_4.fzn
eliza_pseudonym7.fzn
enclosed_tiles.fzn
enigma.fzn
enigma_1000.fzn
enigma_1001.fzn
enigma_1293.fzn
enigma_1530.fzn
enigma_1535.fzn
enigma_1553.fzn
enigma_1555.fzn
enigma_1557.fzn
enigma_1568.fzn
enigma_1570.fzn
enigma_1573.fzn
enigma_1574.fzn
enigma_1575.fzn
enigma_1576.fzn
enigma_1577.fzn
enigma_843.fzn
enigma_birthday_magic.fzn
enigma_circular_chain.fzn
enigma_counting_pennies.fzn
enigma_eight_times.fzn
enigma_eight_times2.fzn
enigma_eighteen.fzn
enigma_five_fives.fzn
enigma_planets.fzn
enigma_portuguese_squares.fzn
eq10.fzn
eq20.fzn
equal_sized_groups.fzn
equivalent.fzn
ett_ett_ett_ett_ett__fem.fzn
euler_1.fzn
euler_18.fzn
euler_2.fzn
euler_30.fzn
euler_39.fzn
euler_52.fzn
euler_6.fzn
euler_9.fzn
evens.fzn
evens2.fzn
evision.fzn
exact_cover_dlx.fzn
exact_cover_dlx_matrix.fzn
exodus.fzn
facility_location_problem.fzn
factorial.fzn
factory_planning_instance.fzn
fair_split_into_3_groups.fzn
fairies.fzn
family.fzn
family_riddle.fzn
fancy.fzn
farm_puzzle.fzn
farm_puzzle0.fzn
fib_test2.fzn
fill_a_pix.fzn
fill_in_the_squares.fzn
filling_table_with_ticks.fzn
five.fzn
five_brigades.fzn
five_floors.fzn
fix_points.fzn
fixed_charge.fzn
fizz_buzz.fzn
football.fzn
four_islands.fzn
four_power.fzn
fractions.fzn
franklin_8x8_magic_square.fzn
freight_transfer.fzn
full_adder.fzn
furniture_moving.fzn
futoshiki.fzn
gap.fzn
gardner_prime_puzzle.fzn
gardner_sum_square.fzn
general_store.fzn
generalized_knapsack_problem.fzn
giapetto.fzn
global_cardinality_no_loop.fzn
global_cardinality_table.fzn
global_cardinality_with_costs.fzn
global_contiguity.fzn
golomb.fzn
graceful_labeling.fzn
graph_degree_sequence.fzn
gray_code.fzn
greatest_combination.fzn
grid_puzzle.fzn
grime_puzzle.fzn
grocery.fzn
grocery2.fzn
guards_and_apples.fzn
guards_and_apples2.fzn
gunport_problem1.fzn
gunport_problem2.fzn
hamming_distance.fzn
hanging_weights.fzn
hardy_1729.fzn
heterosquare.fzn
hidato.fzn
hidato_exists.fzn
hidato_table.fzn
hidato_table2.fzn
high_iq_problem.fzn
hitchcock_transporation_problem.fzn
hitting_set.fzn
home_improvement.fzn
honey_division.fzn
houses.fzn
how_old_am_i.fzn
huey_dewey_louie.fzn
hundred_doors_optimized_array.fzn
hundred_fowls.fzn
ice_cream.fzn
imply.fzn
in_interval.fzn
in_relation.fzn
in_set.fzn
increasing_except_0.fzn
indexed_sum.fzn
inflexions.fzn
int_value_precede.fzn
integer_programming1.fzn
inter_distance.fzn
inverse_within_range.fzn
investment_problem.fzn
investment_problem_mip.fzn
isbn.fzn
itemset_mining.fzn
ith_pos_different_from_0.fzn
jive_turkeys.fzn
jobs_puzzle.fzn
jobshop2x2.fzn
joshua.fzn
jssp.fzn
just_forgotten.fzn
K4P2GracefulGraph.fzn
K4P2GracefulGraph2.fzn
k_alldifferent.fzn
k_same.fzn
k_same_modulo.fzn
kakuro.fzn
kakuro2.fzn
kaprekars_constant.fzn
kaprekars_constant2.fzn
kaprekars_constant_3.fzn
kaprekars_constant_8.fzn
kenken2.fzn
killer_sudoku.fzn
killer_sudoku2.fzn
kiselman_semigroup_problem.fzn
knapsack1.fzn
knapsack2.fzn
knapsack_investments.fzn
knapsack_rosetta_code_01.fzn
knapsack_rosetta_code_bounded.fzn
knapsack_rosetta_code_unbounded_int.fzn
knight_path.fzn
kntdom.fzn
kqueens.fzn
labeled_dice.fzn
lager.fzn
lams_problem.fzn
langford.fzn
langford2.fzn
latin_square.fzn
latin_square_card_puzzle.fzn
latin_squares_fd.fzn
lccoin.fzn
least_diff.fzn
lecture_series.fzn
lectures.fzn
letter_square.fzn
lex2_me.fzn
lex_alldifferent.fzn
lex_between.fzn
lex_chain_less.fzn
lex_different.fzn
lex_greater_me.fzn
lichtenstein_coloring.fzn
life.fzn
lightmeal.fzn
lightmeal2.fzn
lights.fzn
limerick_primes.fzn
limerick_primes2.fzn
locker.fzn
logic_puzzle_aop.fzn
logical_design.fzn
longest_change.fzn
lucky_number.fzn
M12.fzn
magic.fzn
magic3.fzn
magic4.fzn
magic_modulo_number.fzn
magic_sequence.fzn
magic_sequence2.fzn
magic_sequence3.fzn
magic_sequence4.fzn
magic_square.fzn
magic_square_frenicle_form.fzn
magic_squares_and_cards.fzn
magicsq_3.fzn
magicsq_4.fzn
magicsq_5.fzn
mamas_age.fzn
mango_puzzle.fzn
map.fzn
map2.fzn
map_coloring_with_costs.fzn
map_stuckey.fzn
marathon.fzn
marathon2.fzn
matchmaker.fzn
matrix2num.fzn
max_cut.fzn
max_flow_taha.fzn
max_flow_winston1.fzn
max_index.fzn
max_m_in_row.fzn
max_n.fzn
max_nvalue.fzn
max_size_set_of_consecutive_var.fzn
maxflow.fzn
maximal_independent_sets.fzn
maximum_density_still_life.fzn
maximum_modulo.fzn
maximum_subarray.fzn
mceverywhere.fzn
message_sending.fzn
mfasp.fzn
mfvsp.fzn
min_index.fzn
min_n.fzn
min_nvalue.fzn
minesweeper.fzn
minesweeper_0.fzn
minesweeper_1.fzn
minesweeper_2.fzn
minesweeper_3.fzn
minesweeper_4.fzn
minesweeper_5.fzn
minesweeper_6.fzn
minesweeper_7.fzn
minesweeper_8.fzn
minesweeper_9.fzn
minesweeper_basic3.fzn
minesweeper_basic4.fzn
minesweeper_basic4x4.fzn
minesweeper_config_page2.fzn
minesweeper_config_page3.fzn
minesweeper_german_Lakshtanov.fzn
minesweeper_inverse.fzn
minesweeper_splitter.fzn
minesweeper_wire.fzn
minimum_except_0.fzn
minimum_greater_than.fzn
minimum_modulo.fzn
minimum_weight_alldifferent.fzn
misp.fzn
missing_digit.fzn
mixing_party.fzn
money_change.fzn
monkey_coconuts.fzn
monks_and_doors.fzn
movie_stars.fzn
mr_smith.fzn
multidimknapsack_simple.fzn
multipl.fzn
murder.fzn
music_men.fzn
mvcp.fzn
my_precedence.fzn
n_change.fzn
n_puzzle.fzn
n_puzzle_table.fzn
nadel.fzn
narcissistic_numbers.fzn
nchange.fzn
newspaper.fzn
newspaper0.fzn
next_element.fzn
next_greater_element.fzn
nim.fzn
nine_digit_arrangement.fzn
nine_to_one_equals_100.fzn
no_solve_item.fzn
no_three_in_line.fzn
non_dominating_queens.fzn
nonogram.fzn
nonogram_create_automaton2.fzn
nontransitive_dice.fzn
not_all_equal.fzn
not_in.fzn
npair.fzn
number_generation.fzn
number_of_days.fzn
number_of_regions.fzn
number_puzzle.fzn
number_square.fzn
numeric_keypad.fzn
OandX.fzn
olympic.fzn
onroad.fzn
open_alldifferent.fzn
open_among.fzn
open_atleast.fzn
open_atmost.fzn
open_global_cardinality.fzn
open_global_cardinality_low_up.fzn
optimal_picking_elements_from_each_list.fzn
or_matching.fzn
or_matching2.fzn
or_matching_orig.fzn
or_matching_xxx.fzn
or_seating.fzn
organize_day.fzn
ormat_game.fzn
ormat_game_generate.fzn
ormat_game_mip_problem1.fzn
ormat_game_mip_problem2.fzn
ormat_game_mip_problem3.fzn
ormat_game_mip_problem4.fzn
ormat_game_mip_problem5.fzn
ormat_game_mip_problem6.fzn
ormat_game_problem1.fzn
ormat_game_problem2.fzn
ormat_game_problem3.fzn
ormat_game_problem4.fzn
ormat_game_problem5.fzn
ormat_game_problem6.fzn
orth_link_ori_siz_end.fzn
orth_on_the_ground.fzn
oss.fzn
packing.fzn
pair_divides_the_sum.fzn
pairwise_sum_of_n_numbers.fzn
pandigital_numbers.fzn
parallel_resistors.fzn
partial_latin_square.fzn
partition.fzn
partition_into_subset_of_equal_values.fzn
partition_into_subset_of_equal_values2.fzn
partition_into_subset_of_equal_values3.fzn
partitions.fzn
path_from_to.fzn
patient_no_21.fzn
pchange.fzn
peacableArmyOfQueens.fzn
penguin.fzn
perfect_shuffle.fzn
perfect_square_sequence.fzn
perfsq.fzn
perfsq2.fzn
period.fzn
permutation_number.fzn
pert.fzn
photo.fzn
photo_hkj.fzn
photo_hkj2_data1.fzn
photo_hkj2_data2.fzn
picking_teams.fzn
pigeon_hole.fzn
pigeon_hole2.fzn
pilgrim.fzn
place_number.fzn
pool_ball_triangles.fzn
popsicle_stand.fzn
post_office_problem.fzn
post_office_problem2.fzn
power.fzn
prime.fzn
prime_looking.fzn
product_configuration.fzn
product_ctr.fzn
product_fd.fzn
product_lp.fzn
product_test.fzn
public_school_problem.fzn
puzzle1.fzn
pyramid_of_numbers.fzn
pythagoras.fzn
quasiGroup3Idempotent.fzn
quasiGroup3NonIdempotent.fzn
quasiGroup4Idempotent.fzn
quasiGroup4NonIdempotent.fzn
quasiGroup5Idempotent.fzn
quasiGroup5NonIdempotent.fzn
quasiGroup6.fzn
quasiGroup7.fzn
quasigroup_completion.fzn
quasigroup_completion_gcc.fzn
quasigroup_completion_gomes_demo1.fzn
quasigroup_completion_gomes_demo2.fzn
quasigroup_completion_gomes_demo3.fzn
quasigroup_completion_gomes_demo4.fzn
quasigroup_completion_gomes_demo5.fzn
quasigroup_completion_gomes_shmoys_p3.fzn
quasigroup_completion_gomes_shmoys_p7.fzn
quasigroup_completion_martin_lynce.fzn
quasigroup_qg5.fzn
queen_cp2.fzn
queen_ip.fzn
queens3.fzn
queens4.fzn
queens_ip.fzn
queens_viz.fzn
radiation.fzn
range_ctr.fzn
raven_puzzle.fzn
README.md
rectangle_from_line_segments.fzn
regular_test.fzn
rehearsal.fzn
relative_sizes.fzn
relief_mission.fzn
remainder_puzzle.fzn
remainder_puzzle2.fzn
remarkable_sequence.fzn
reveal_the_mapping.fzn
rock_star_dressing_problem.fzn
rogo.fzn
rogo3.fzn
rook_path.fzn
rookwise_chain.fzn
roots_test.fzn
rostering.fzn
rot13.fzn
rotation.fzn
runs.fzn
safe_cracking.fzn
same.fzn
same_and_global_cardinality.fzn
same_and_global_cardinality_low_up.fzn
same_interval.fzn
same_modulo.fzn
sangraal.fzn
sat.fzn
satisfy.fzn
scene_allocation.fzn
schedule1.fzn
schedule2.fzn
scheduling_bratko.fzn
scheduling_bratko2.fzn
scheduling_chip.fzn
scheduling_speakers.fzn
seating_plan.fzn
seating_row.fzn
seating_row1.fzn
seating_table.fzn
secret_santa.fzn
secret_santa2.fzn
seg_fault.fzn
self_referential_quiz.fzn
send_more_money.fzn
send_more_money2.fzn
send_more_money_any_base.fzn
send_more_money_ip.fzn
send_most_money.fzn
sequence_2_3.fzn
seseman.fzn
seseman2.fzn
set_covering.fzn
set_covering2.fzn
set_covering3.fzn
set_covering4.fzn
set_covering4b.fzn
set_covering5.fzn
set_covering6.fzn
set_covering_deployment.fzn
set_covering_skiena.fzn
set_packing.fzn
seven11.fzn
shift.fzn
shopping.fzn
shopping_basket.fzn
shopping_basket2.fzn
shopping_basket5.fzn
shopping_basket6.fzn
shortest_path1.fzn
shortest_path2.fzn
sicherman_dice.fzn
simple_sat.fzn
singHoist2.fzn
ski_assignment_problem.fzn
skyscraper.fzn
sliding_sum_me.fzn
sliding_time_window.fzn
sliding_time_window_from_start.fzn
smooth.fzn
smuggler_knapsack.fzn
smullyan_knights_knaves.fzn
smullyan_knights_knaves_normals.fzn
smullyan_knights_knaves_normals_bahava.fzn
smullyan_lion_and_unicorn.fzn
smullyan_portia.fzn
soccer_puzzle.fzn
social_golfers1.fzn
soft_all_equal_ctr.fzn
soft_same_var.fzn
solitaire_battleship.fzn
sonet_problem.fzn
sort_permutation.fzn
spinning_disks.fzn
sportsScheduling.fzn
spp.fzn
spy_girls.fzn
square_root_of_wonderful.fzn
squeens.fzn
stable_marriage.fzn
stable_marriage3_random10.fzn
stable_marriage3_random200.fzn
stable_marriage3_random50.fzn
stamp_licking.fzn
state_name_puzzle.fzn
stretch_circuit.fzn
stretch_path.fzn
strictly_decreasing.fzn
strimko2.fzn
stuckey_assignment.fzn
stuckey_seesaw.fzn
subsequence.fzn
subsequence_sum.fzn
subset_sum.fzn
successive_number_problem.fzn
sudoku.fzn
sudoku_25x25_250.fzn
sudoku_alldifferent.fzn
sudoku_gcc.fzn
sudoku_ip.fzn
sudoku_pi.fzn
sudoku_pi_2008.fzn
sudoku_pi_2010.fzn
sudoku_pi_2011.fzn
sum_ctr.fzn
sum_free.fzn
sum_of_weights_of_distinct_values.fzn
sum_to_100.fzn
survivor.fzn
survo_puzzle.fzn
symmetric_alldifferent.fzn
symmetry_breaking.fzn
table_of_numbers.fzn
talent.fzn
talisman_square.fzn
tank.fzn
tea_mixing.fzn
template_design.fzn
temporal_reasoning.fzn
tenpenki_1.fzn
tenpenki_2.fzn
tenpenki_3.fzn
tenpenki_4.fzn
tenpenki_5.fzn
tenpenki_6.fzn
test.fzn
the_bomb.fzn
the_family_puzzle.fzn
three_digit.fzn
tickTackToe.fzn
timeslots_for_songs.fzn
timetabling.fzn
timpkin.fzn
tobacco.fzn
tomography.fzn
tomography_n_colors.fzn
torn_number.fzn
touching_numbers.fzn
traffic_lights.fzn
traffic_lights_table.fzn
transportation.fzn
transportation2.fzn
transpose.fzn
transshipment.fzn
trial1.fzn
trial12.fzn
trial2.fzn
trial3.fzn
trial4.fzn
trial5.fzn
trial6.fzn
tripuzzle1.fzn
tripuzzle2.fzn
trucking.fzn
tsp.fzn
tsp_circuit.fzn
tunapalooza.fzn
twelve.fzn
twin_letters.fzn
two_cube_calendar.fzn
two_dimensional_channels.fzn
uzbekian_puzzle.fzn
vingt_cinq_cinq_trente.fzn
war_or_peace.fzn
warehouses.fzn
water_buckets1.fzn
wedding_optimal_chart.fzn
weighted_sum.fzn
were2.fzn
were4.fzn
who_killed_agatha.fzn
wolf_goat_cabbage.fzn
wolf_goat_cabbage_lp.fzn
word_golf.fzn
word_square.fzn
work_shift_problem.fzn
wwr.fzn
xkcd.fzn
xkcd_among_diff_0.fzn
young_tableaux.fzn
zebra.fzn
zebra_inverse.fzn
zebra_ip.fzn