or-tools/examples/flatzinc at stable · Lapetite165/or-tools

Name	Name	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.md	README.md
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

Name

Last commit message

Last commit date

99_bottles_of_beer.fzn