hakank aae6555c9f Added traffic_lights.py

2010-10-11 16:46:55 +00:00

..

data

Added source of problem instance and license text for the data files

2010-10-07 05:22:46 +00:00

all_interval.py

Added models crew.py all_interval.py divisible_by_9_through_1.py coins3.py. Added a note in hidato.py to use Laurent's hidato_table.py instead.

2010-10-10 07:17:39 +00:00

alldifferent_except_0.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

alphametic.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

assignment.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

bus_schedule.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

circuit.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

coins3.py

Added models crew.py all_interval.py divisible_by_9_through_1.py coins3.py. Added a note in hidato.py to use Laurent's hidato_table.py instead.

2010-10-10 07:17:39 +00:00

coins_grid.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

combinatorial_auction2.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

crew.py

Added models crew.py all_interval.py divisible_by_9_through_1.py coins3.py. Added a note in hidato.py to use Laurent's hidato_table.py instead.

2010-10-10 07:17:39 +00:00

crossword2.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

debruijn_binary.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

diet1_b.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

diet1.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

discrete_tomography.py

Added discrete_tomography.py minesweeper.py quasigroup_completion.py survo_puzzle.py and additional data files

2010-10-06 21:52:24 +00:00

divisible_by_9_through_1.py

Added models crew.py all_interval.py divisible_by_9_through_1.py coins3.py. Added a note in hidato.py to use Laurent's hidato_table.py instead.

2010-10-10 07:17:39 +00:00

dudeney.py

cosmetic modifications

2010-10-07 19:04:07 +00:00

furniture_moving.py

Added furniture_moving.py with an experimental decomposition of cumulative

2010-10-11 04:37:53 +00:00

golomb8.py

added Value shortcut in collectors

2010-10-07 00:15:54 +00:00

hidato_table.py

cleaner display of initial solutions

2010-10-07 11:14:15 +00:00

hidato.py

Added models crew.py all_interval.py divisible_by_9_through_1.py coins3.py. Added a note in hidato.py to use Laurent's hidato_table.py instead.

2010-10-10 07:17:39 +00:00

jobshop_ft06.py

added dudeney example from Pierre Schaus

2010-10-06 19:46:05 +00:00

knapsack.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

labeled_dice.py

Added labeled_dice.py who_killed_agatha.py

2010-10-10 19:54:04 +00:00

least_diff.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

magic_sequence_distribute.py

added dudeney example from Pierre Schaus

2010-10-06 19:46:05 +00:00

magic_square_and_cards.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

magic_square.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

map.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

minesweeper.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

nqueens2.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

nqueens.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

pandigital_numbers.py

Added stable_marriage.py pandigital_numbers.py

2010-10-11 16:14:17 +00:00

place_number_puzzle.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

quasigroup_completion.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

rabbit_pheasant.py

added dudeney example from Pierre Schaus

2010-10-06 19:46:05 +00:00

send_more_money_any_base.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

send_most_money.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

sendmore.py

added dudeney example from Pierre Schaus

2010-10-06 19:46:05 +00:00

seseman_b.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

seseman.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

set_covering2.py

cosmetic modifications

2010-10-07 19:04:07 +00:00

set_covering3.py

cosmetic modifications

2010-10-07 19:04:07 +00:00

set_covering4.py

cosmetic modifications

2010-10-07 19:04:07 +00:00

set_covering_deployment.py

cosmetic modifications

2010-10-07 19:04:07 +00:00

set_covering.py

cosmetic modifications

2010-10-07 19:04:07 +00:00

sicherman_dice.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

simple_meeting.py

fix

2010-10-09 15:03:29 +00:00

stable_marriage.py

Added stable_marriage.py pandigital_numbers.py

2010-10-11 16:14:17 +00:00

subset_sum.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

sudoku.py

added Value shortcut in collectors

2010-10-07 00:15:54 +00:00

survo_puzzle.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

toNum.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

traffic_lights.py

Added traffic_lights.py

2010-10-11 16:46:55 +00:00

who_killed_agatha.py

Added labeled_dice.py who_killed_agatha.py

2010-10-10 19:54:04 +00:00

word_square.py

Added assignment.py assignment_b.py bus_schedule.py circuit.py combinatorial_auction2.py crossword2.py debruijn_binary.py diet1_b.py diet1.py hidato.py knapsack.py least_diff.py magic_square_and_cards.py magic_square.py map.py nqueens2.py nqueens.py place_number_puzzle.py send_more_money_any_base.py send_most_money.py seseman_b.py seseman.py subset_sum.py toNum.py word_square.py xkcd.py alphametic.py sicherman_dice.py

2010-10-06 21:29:00 +00:00

xkcd.py

removed call to SolutionCollector.solution(n), use shortcut collector.Value(n, var)

2010-10-07 00:27:27 +00:00

young_tableaux.py

Added coins_grid.py young_tableaux.py

2010-10-06 21:29:50 +00:00

zebra.py

added dudeney example from Pierre Schaus

2010-10-06 19:46:05 +00:00