|
..
|
|
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
|
|
K4P2GracefulGraph.fzn
|
|
K4P2GracefulGraph2.fzn
|
|
M12.fzn
|
|
OandX.fzn
|
|
README
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|