Skip to content

flatzinc

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History
 
 

flatzinc

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
1d_rubiks_cube.fzn
1d_rubiks_cube.fzn
 
 
2DPacking.fzn
2DPacking.fzn
 
 
3_coins.fzn
3_coins.fzn
 
 
3_jugs.fzn
3_jugs.fzn
 
 
3_jugs2.fzn
3_jugs2.fzn
 
 
3_jugs2_all.fzn
3_jugs2_all.fzn
 
 
50_puzzle.fzn
50_puzzle.fzn
 
 
5x5_puzzle.fzn
5x5_puzzle.fzn
 
 
99_bottles_of_beer.fzn
99_bottles_of_beer.fzn
 
 
K4P2GracefulGraph.fzn
K4P2GracefulGraph.fzn
 
 
K4P2GracefulGraph2.fzn
K4P2GracefulGraph2.fzn
 
 
M12.fzn
M12.fzn
 
 
OandX.fzn
OandX.fzn
 
 
README
README
 
 
a_puzzle.fzn
a_puzzle.fzn
 
 
a_round_of_golf.fzn
a_round_of_golf.fzn
 
 
abbott.fzn
abbott.fzn
 
 
abc_endview.fzn
abc_endview.fzn
 
 
abpuzzle.fzn
abpuzzle.fzn
 
 
added_corner.fzn
added_corner.fzn
 
 
adjacency_matrix_from_degrees.fzn
adjacency_matrix_from_degrees.fzn
 
 
ages2.fzn
ages2.fzn
 
 
alien.fzn
alien.fzn
 
 
all_differ_from_at_least_k_pos.fzn
all_differ_from_at_least_k_pos.fzn
 
 
all_different_modulo.fzn
all_different_modulo.fzn
 
 
all_equal_me.fzn
all_equal_me.fzn
 
 
all_interval.fzn
all_interval.fzn
 
 
all_interval1.fzn
all_interval1.fzn
 
 
all_interval2.fzn
all_interval2.fzn
 
 
all_interval3.fzn
all_interval3.fzn
 
 
all_interval4.fzn
all_interval4.fzn
 
 
all_interval5.fzn
all_interval5.fzn
 
 
all_interval6.fzn
all_interval6.fzn
 
 
all_min_dist.fzn
all_min_dist.fzn
 
 
all_paths_graph.fzn
all_paths_graph.fzn
 
 
alldifferent_consecutive_values.fzn
alldifferent_consecutive_values.fzn
 
 
alldifferent_cst.fzn
alldifferent_cst.fzn
 
 
alldifferent_except_0.fzn
alldifferent_except_0.fzn
 
 
alldifferent_interval.fzn
alldifferent_interval.fzn
 
 
alldifferent_modulo.fzn
alldifferent_modulo.fzn
 
 
alldifferent_on_intersection.fzn
alldifferent_on_intersection.fzn
 
 
alldifferent_same_value.fzn
alldifferent_same_value.fzn
 
 
alldifferent_soft.fzn
alldifferent_soft.fzn
 
 
allocating_developments.fzn
allocating_developments.fzn
 
 
allperm.fzn
allperm.fzn
 
 
alpha.fzn
alpha.fzn
 
 
among_diff_0.fzn
among_diff_0.fzn
 
 
among_interval.fzn
among_interval.fzn
 
 
among_low_up.fzn
among_low_up.fzn
 
 
among_modulo.fzn
among_modulo.fzn
 
 
among_seq.fzn
among_seq.fzn
 
 
and.fzn
and.fzn
 
 
another_kind_of_magic_square.fzn
another_kind_of_magic_square.fzn
 
 
antisymmetric.fzn
antisymmetric.fzn
 
 
arch_friends.fzn
arch_friends.fzn
 
 
argmax.fzn
argmax.fzn
 
 
arith.fzn
arith.fzn
 
 
arith_or.fzn
arith_or.fzn
 
 
arith_sliding.fzn
arith_sliding.fzn
 
 
arithmetic_ring.fzn
arithmetic_ring.fzn
 
 
arrow.fzn
arrow.fzn
 
 
artificial_intelligence.fzn
artificial_intelligence.fzn
 
 
assign_and_counts.fzn
assign_and_counts.fzn
 
 
assign_and_nvalues.fzn
assign_and_nvalues.fzn
 
 
assignment.fzn
assignment.fzn
 
 
assignment2.fzn
assignment2.fzn
 
 
assignment2_2.fzn
assignment2_2.fzn
 
 
assignment3.fzn
assignment3.fzn
 
 
assignment4.fzn
assignment4.fzn
 
 
assignment5.fzn
assignment5.fzn
 
 
assignment6.fzn
assignment6.fzn
 
 
atom_smasher.fzn
atom_smasher.fzn
 
 
averbach_1.2.fzn
averbach_1.2.fzn
 
 
averbach_1.3.fzn
averbach_1.3.fzn
 
 
averbach_1.4.fzn
averbach_1.4.fzn
 
 
averbach_1.5.fzn
averbach_1.5.fzn
 
 
averback_1.4.fzn
averback_1.4.fzn
 
 
babysitting.fzn
babysitting.fzn
 
 
balance.fzn
balance.fzn
 
 
balance_interval.fzn
balance_interval.fzn
 
 
balance_modulo.fzn
balance_modulo.fzn
 
 
balanced_brackets.fzn
balanced_brackets.fzn
 
 
balanced_matrix.fzn
balanced_matrix.fzn
 
 
bales_of_hay.fzn
bales_of_hay.fzn
 
 
bank_card.fzn
bank_card.fzn
 
 
battleships10.fzn
battleships10.fzn
 
 
battleships_1.fzn
battleships_1.fzn
 
 
battleships_2.fzn
battleships_2.fzn
 
 
battleships_3.fzn
battleships_3.fzn
 
 
battleships_4.fzn
battleships_4.fzn
 
 
battleships_5.fzn
battleships_5.fzn
 
 
battleships_6.fzn
battleships_6.fzn
 
 
battleships_7.fzn
battleships_7.fzn
 
 
battleships_8.fzn
battleships_8.fzn
 
 
battleships_9.fzn
battleships_9.fzn
 
 
best_shuffle.fzn
best_shuffle.fzn
 
 
between_min_max.fzn
between_min_max.fzn
 
 
bin_packing2.fzn
bin_packing2.fzn
 
 
bin_packing_me.fzn
bin_packing_me.fzn
 
 
binary_matrix2array.fzn
binary_matrix2array.fzn
 
 

README

The majority of these examples are here curtesy of Hakan Kjellerstrand.

See http://www.hakank.org/minizinc for details.