ortools-clone

2DPacking.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

3_coins.fzn

More examples

2012-06-18 20:02:58 +00:00

3_jugs.fzn

one more problematic example

2012-06-09 06:59:49 +00:00

all_different_modulo.fzn

simplify registry, add new crashing examples

2012-06-06 22:40:05 +00:00

alldifferent_on_intersection.fzn

simplify registry, add new crashing examples

2012-06-06 22:40:05 +00:00

alpha.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

among_modulo.fzn

simplify registry, add new crashing examples

2012-06-06 22:40:05 +00:00

another_kind_of_magic_square.fzn

support cumulative with variable capacity

2012-06-16 06:49:34 +00:00

arrow.fzn

more examples

2012-06-30 21:50:46 +00:00

artificial_intelligence.fzn

More examples

2012-06-18 20:02:58 +00:00

assignment6.fzn

new examples

2012-06-08 15:25:05 +00:00

averback_1.4.fzn

simplify registry, add new crashing examples

2012-06-06 22:40:05 +00:00

balance_modulo.fzn

simplify registry, add new crashing examples

2012-06-06 22:40:05 +00:00

battleships10.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

battleships_1.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

battleships_2.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

battleships_3.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

battleships_4.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

battleships_5.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

battleships_6.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

battleships_7.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

battleships_8.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

battleships_9.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

binary_tree.fzn

more examples

2012-06-30 21:50:46 +00:00

blocksworld_instance_1.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

blocksworld_instance_2.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

bobs_sale.fzn

2012-06-06 22:48:02 +00:00

bokus_competition.fzn

more examples

2012-07-05 13:43:18 +00:00

buckets.fzn

more problems

2012-06-18 22:53:41 +00:00

building_a_house.fzn

another example

2012-06-16 07:30:29 +00:00

calvin_puzzle.fzn

speed up IsDifferentVar

2012-06-29 05:23:58 +00:00

candles.fzn

more examples

2012-06-25 18:22:01 +00:00

catalan_numbers.fzn

another example

2012-06-16 07:30:29 +00:00

collatz2.fzn

More examples

2012-06-18 20:02:58 +00:00

collatz.fzn

another example

2012-06-16 07:30:29 +00:00

common.fzn

new examples

2012-06-08 15:25:05 +00:00

config.fzn

fix var / value; should be rounded towards 0

2012-06-16 18:17:27 +00:00

connected.fzn

new examples

2012-06-08 15:25:05 +00:00

cube_sum.fzn

MakePower, automatic building from square and product, much better at solving cube_sum

2012-06-19 15:24:32 +00:00

cutstock.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

czech_logical_labyrinth.fzn

one more problem

2012-06-28 13:31:54 +00:00

debruijn2.fzn

one more slow example

2012-07-04 22:17:39 +00:00

debruijn2d_2.fzn

another problematic example

2012-06-17 06:12:14 +00:00

debruijn_mike_winter3.fzn

more examples

2012-07-04 22:13:29 +00:00

einav_puzzle.fzn

another problematic example

2012-06-19 21:11:57 +00:00

elevator_8_4.fzn

more examples

2012-07-05 13:43:18 +00:00

enigma_843.fzn

more problems

2012-06-18 22:53:41 +00:00

enigma_1535.fzn

more problems

2012-06-16 16:20:07 +00:00

enigma_1570.fzn

more problems

2012-06-16 07:57:40 +00:00

four_power.fzn

MakePower, automatic building from square and product, much better at solving cube_sum

2012-06-19 15:24:32 +00:00

golomb.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

grocery.fzn

more work on flatzinc

2012-06-01 12:48:40 +00:00

hardy_1729.fzn

new examples

2012-06-08 15:25:05 +00:00

hidato_table.fzn

new examples

2012-06-08 15:25:05 +00:00

home_improvement.fzn

more problems

2012-06-22 21:13:50 +00:00

in_set.fzn

more work on set variables, no constraints

2012-06-17 21:15:38 +00:00

jobshop2x2.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

jssp.fzn

new examples

2012-06-08 15:25:05 +00:00

kaprekars_constant_3.fzn

more problems

2012-06-19 08:44:52 +00:00

kaprekars_constant_8.fzn

more problems

2012-06-19 08:44:52 +00:00

kaprekars_constant.fzn

fix

2012-06-13 09:06:01 +00:00

knight_path.fzn

more problems

2012-06-22 21:13:50 +00:00

kqueens.fzn

small improvements and new problems

2012-06-29 05:44:36 +00:00

langford2.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

langford.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

latin_squares_fd.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

least_diff.fzn

another example

2012-06-16 07:30:29 +00:00

M12.fzn

one more problem

2012-06-28 13:31:54 +00:00

magicsq_3.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

magicsq_4.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

magicsq_5.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

max_cut.fzn

more problems

2012-06-22 21:13:50 +00:00

max_m_in_row.fzn

another problematic example

2012-06-19 21:11:57 +00:00

maximum_density_still_life.fzn

more examples

2012-07-06 09:33:49 +00:00

maximum_subarray.fzn

more problems

2012-06-19 08:44:52 +00:00

monks_and_doors.fzn

fix and example showing missing propagation

2012-06-14 20:31:17 +00:00

mr_smith.fzn

multiple fixes, new problematic examples, better display

2012-06-08 22:34:15 +00:00

multidimknapsack_simple.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

n_puzzle_table.fzn

more problems

2012-06-18 22:53:41 +00:00

n_puzzle.fzn

more problems

2012-06-16 07:57:40 +00:00

pandigital_numbers.fzn

more examples

2012-06-30 21:50:46 +00:00

partition.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

perfsq2.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

perfsq.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

photo_hkj2_data1.fzn

more examples

2012-06-30 21:50:46 +00:00

photo_hkj2_data2.fzn

more examples

2012-06-30 21:50:46 +00:00

photo.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

picking_teams.fzn

more examples

2012-07-06 22:28:03 +00:00

product_fd.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

product_lp.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

product_test.fzn

another...

2012-06-16 17:21:43 +00:00

pyramid_of_numbers.fzn

more examples

2012-07-06 16:00:05 +00:00

pythagoras.fzn

multiple fixes, new problematic examples, better display

2012-06-08 22:34:15 +00:00

quasigroup_qg5.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

queen_cp2.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

queen_ip.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

radiation.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

rostering.fzn

more problems

2012-06-16 16:20:07 +00:00

rotation.fzn

more examples

2012-06-29 18:12:01 +00:00

scheduling_chip.fzn

another example

2012-06-16 07:30:29 +00:00

seating_row.fzn

more examples

2012-07-06 22:28:03 +00:00

shopping_basket5.fzn

more examples

2012-07-06 16:00:05 +00:00

simple_sat.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

singHoist2.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

smullyan_lion_and_unicorn.fzn

multiple fixes, new problematic examples, better display

2012-06-08 22:34:15 +00:00

stable_marriage3_random10.fzn

more examples

2012-07-06 22:28:03 +00:00

stable_marriage3_random50.fzn

more examples

2012-07-06 22:28:03 +00:00

stable_marriage3_random200.fzn

more examples

2012-07-06 22:28:03 +00:00

sudoku.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

template_design.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

tenpenki_1.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

tenpenki_2.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

tenpenki_3.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

tenpenki_4.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

tenpenki_5.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

tenpenki_6.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

test.fzn

one more problem

2012-06-28 13:31:54 +00:00

the_bomb.fzn

fix stupid crash

2012-07-06 09:20:40 +00:00

timetabling.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

transportation.fzn

multiple fixes, new problematic examples, better display

2012-06-08 22:34:15 +00:00

trucking.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

warehouses.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

wolf_goat_cabbage.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00

zebra.fzn

remove bool2int alias, support search strategies, sort constraints before posting; add a lot of flatzinc files to test

2012-06-06 13:59:48 +00:00