|
..
|
|
3_jugs_mip.ipynb
|
|
3_jugs_regular.ipynb
|
|
a_round_of_golf.ipynb
|
|
all_interval.ipynb
|
|
alldifferent_except_0.ipynb
|
|
alphametic.ipynb
|
|
assignment.ipynb
|
|
assignment6_mip.ipynb
|
|
bacp.ipynb
|
|
blending.ipynb
|
|
broken_weights.ipynb
|
|
bus_schedule.ipynb
|
|
car.ipynb
|
|
check_dependencies.ipynb
|
|
circuit.ipynb
|
|
coins3.ipynb
|
|
coins_grid.ipynb
|
|
coins_grid_mip.ipynb
|
|
coloring_ip.ipynb
|
|
combinatorial_auction2.ipynb
|
|
contiguity_regular.ipynb
|
|
costas_array.ipynb
|
|
covering_opl.ipynb
|
|
crew.ipynb
|
|
crossword2.ipynb
|
|
crypta.ipynb
|
|
crypto.ipynb
|
|
curious_set_of_integers.ipynb
|
|
debruijn_binary.ipynb
|
|
diet1.ipynb
|
|
diet1_b.ipynb
|
|
diet1_mip.ipynb
|
|
discrete_tomography.ipynb
|
|
divisible_by_9_through_1.ipynb
|
|
dudeney.ipynb
|
|
einav_puzzle.ipynb
|
|
einav_puzzle2.ipynb
|
|
eq10.ipynb
|
|
eq20.ipynb
|
|
fill_a_pix.ipynb
|
|
furniture_moving.ipynb
|
|
futoshiki.ipynb
|
|
game_theory_taha.ipynb
|
|
grocery.ipynb
|
|
hidato.ipynb
|
|
just_forgotten.ipynb
|
|
kakuro.ipynb
|
|
kenken2.ipynb
|
|
killer_sudoku.ipynb
|
|
knapsack_cp.ipynb
|
|
knapsack_mip.ipynb
|
|
labeled_dice.ipynb
|
|
langford.ipynb
|
|
least_diff.ipynb
|
|
least_square.ipynb
|
|
lectures.ipynb
|
|
magic_sequence_sat.ipynb
|
|
magic_square.ipynb
|
|
magic_square_and_cards.ipynb
|
|
magic_square_mip.ipynb
|
|
map.ipynb
|
|
marathon2.ipynb
|
|
max_flow_taha.ipynb
|
|
max_flow_winston1.ipynb
|
|
minesweeper.ipynb
|
|
mr_smith.ipynb
|
|
nonogram_default_search.ipynb
|
|
nonogram_regular.ipynb
|
|
nonogram_table.ipynb
|
|
nonogram_table2.ipynb
|
|
nontransitive_dice.ipynb
|
|
nqueens.ipynb
|
|
nqueens2.ipynb
|
|
nqueens3.ipynb
|
|
nurse_rostering.ipynb
|
|
nurses_cp.ipynb
|
|
olympic.ipynb
|
|
organize_day.ipynb
|
|
p_median.ipynb
|
|
pandigital_numbers.ipynb
|
|
photo_problem.ipynb
|
|
place_number_puzzle.ipynb
|
|
post_office_problem2.ipynb
|
|
production.ipynb
|
|
project_scheduling_sat.ipynb
|
|
pyls_api.ipynb
|
|
quasigroup_completion.ipynb
|
|
regular.ipynb
|
|
regular_table.ipynb
|
|
regular_table2.ipynb
|
|
rogo2.ipynb
|
|
rostering_with_travel.ipynb
|
|
safe_cracking.ipynb
|
|
scheduling_speakers.ipynb
|
|
scheduling_with_transitions_sat.ipynb
|
|
school_scheduling_sat.ipynb
|
|
secret_santa.ipynb
|
|
secret_santa2.ipynb
|
|
send_more_money_any_base.ipynb
|
|
send_most_money.ipynb
|
|
seseman.ipynb
|
|
seseman_b.ipynb
|
|
set_covering.ipynb
|
|
set_covering2.ipynb
|
|
set_covering3.ipynb
|
|
set_covering4.ipynb
|
|
set_covering_deployment.ipynb
|
|
set_covering_skiena.ipynb
|
|
set_partition.ipynb
|
|
sicherman_dice.ipynb
|
|
ski_assignment.ipynb
|
|
slitherlink.ipynb
|
|
sports_schedule_sat.ipynb
|
|
stable_marriage.ipynb
|
|
stable_marriage_sat.ipynb
|
|
steel.ipynb
|
|
steel_lns.ipynb
|
|
stigler.ipynb
|
|
strimko2.ipynb
|
|
subset_sum.ipynb
|
|
survo_puzzle.ipynb
|
|
toNum.ipynb
|
|
traffic_lights.ipynb
|
|
vendor_scheduling.ipynb
|
|
volsay.ipynb
|
|
volsay2.ipynb
|
|
volsay3.ipynb
|
|
wedding_optimal_chart.ipynb
|
|
who_killed_agatha.ipynb
|
|
xkcd.ipynb
|
|
young_tableaux.ipynb
|