Skip to content

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