Skip to content
This repository has been archived by the owner on Mar 23, 2023. It is now read-only.

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.