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

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

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

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

another problematic example

2012-06-17 21:18:12 +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

debruijn2d_2.fzn

another problematic example

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

einav_puzzle.fzn

another problematic example

2012-06-19 21:11:57 +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_circular_chain.fzn

another slow example

2012-06-14 19:33:06 +00:00

eq20.fzn

more work on flatzinc

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

euler_2.fzn

multiple fixes, new problematic examples, better display

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

factory_planning_instance.fzn

more work on flatzinc

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

fill_in_the_squares.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

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

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_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

number_generation.fzn

another example

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

number_puzzle.fzn

first stab on occurrence search strategy; Use when bound all diff for large domains

2012-06-20 22:15:37 +00:00

oss.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

packing.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

pair_divides_the_sum.fzn

more problems

2012-06-16 07:57:40 +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.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_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

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

scheduling_chip.fzn

another example

2012-06-16 07:30:29 +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

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

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