| | 3_jugs_mip.ipynb | 7.0 KB |
| | 3_jugs_regular.ipynb | 11.2 KB |
| | a_round_of_golf.ipynb | 8.5 KB |
| | all_interval.ipynb | 6.1 KB |
| | alldifferent_except_0.ipynb | 6.2 KB |
| | alphametic.ipynb | 7.2 KB |
| | assignment.ipynb | 6.0 KB |
| | assignment6_mip.ipynb | 6.8 KB |
| | bacp.ipynb | 5.7 KB |
| | blending.ipynb | 6.3 KB |
| | broken_weights.ipynb | 6.8 KB |
| | bus_schedule.ipynb | 5.7 KB |
| | car.ipynb | 6.4 KB |
| | circuit.ipynb | 5.8 KB |
| | coins_grid_mip.ipynb | 5.2 KB |
| | coins_grid.ipynb | 6.6 KB |
| | coins3.ipynb | 5.2 KB |
| | coloring_ip.ipynb | 6.3 KB |
| | combinatorial_auction2.ipynb | 5.3 KB |
| | contiguity_regular.ipynb | 7.9 KB |
| | costas_array.ipynb | 7.9 KB |
| | covering_opl.ipynb | 7.1 KB |
| | crew.ipynb | 9.5 KB |
| | crossword2.ipynb | 8.4 KB |
| | crypta.ipynb | 5.9 KB |
| | crypto.ipynb | 6.3 KB |
| | curious_set_of_integers.ipynb | 5.8 KB |
| | debruijn_binary.ipynb | 9.0 KB |
| | diet1_b.ipynb | 5.9 KB |
| | diet1_mip.ipynb | 5.2 KB |
| | diet1.ipynb | 5.6 KB |
| | discrete_tomography.ipynb | 7.1 KB |
| | divisible_by_9_through_1.ipynb | 8.0 KB |
| | dudeney.ipynb | 4.0 KB |
| | einav_puzzle.ipynb | 9.6 KB |
| | einav_puzzle2.ipynb | 9.1 KB |
| | eq10.ipynb | 5.5 KB |
| | eq20.ipynb | 6.8 KB |
| | fill_a_pix.ipynb | 7.7 KB |
| | furniture_moving.ipynb | 8.1 KB |
| | futoshiki.ipynb | 7.2 KB |
| | game_theory_taha.ipynb | 5.0 KB |
| | grocery.ipynb | 4.8 KB |
| | hidato.ipynb | 9.3 KB |
| | just_forgotten.ipynb | 5.7 KB |
| | kakuro.ipynb | 8.1 KB |
| | kenken2.ipynb | 8.1 KB |
| | killer_sudoku.ipynb | 8.5 KB |
| | knapsack_cp.ipynb | 4.6 KB |
| | knapsack_mip.ipynb | 4.9 KB |
| | labeled_dice.ipynb | 6.8 KB |
| | langford.ipynb | 5.6 KB |
| | least_diff.ipynb | 6.0 KB |
| | least_square.ipynb | 4.6 KB |
| | lectures.ipynb | 5.6 KB |
| | magic_sequence_sat.ipynb | 3.5 KB |
| | magic_square_and_cards.ipynb | 5.4 KB |
| | magic_square_mip.ipynb | 8.1 KB |
| | magic_square.ipynb | 5.3 KB |
| | map.ipynb | 5.5 KB |
| | marathon2.ipynb | 6.3 KB |
| | max_flow_taha.ipynb | 5.9 KB |
| | max_flow_winston1.ipynb | 6.0 KB |
| | minesweeper.ipynb | 9.5 KB |
| | mr_smith.ipynb | 5.8 KB |
| | nonogram_default_search.ipynb | 8.7 KB |
| | nonogram_regular.ipynb | 13.4 KB |
| | nonogram_table.ipynb | 13.3 KB |
| | nonogram_table2.ipynb | 10.0 KB |
| | nontransitive_dice.ipynb | 9.0 KB |
| | nqueens.ipynb | 4.9 KB |
| | nqueens2.ipynb | 4.8 KB |
| | nqueens3.ipynb | 5.1 KB |
| | nurse_rostering.ipynb | 11.0 KB |
| | nurses_cp.ipynb | 10.8 KB |
| | olympic.ipynb | 5.3 KB |
| | organize_day.ipynb | 5.4 KB |
| | p_median.ipynb | 5.9 KB |
| | pandigital_numbers.ipynb | 7.5 KB |
| | permutation_flow_shop.ipynb | 9.1 KB |
| | photo_problem.ipynb | 7.2 KB |
| | place_number_puzzle.ipynb | 5.3 KB |
| | post_office_problem2.ipynb | 6.4 KB |
| | production.ipynb | 4.9 KB |
| | project_scheduling_sat.ipynb | 4.5 KB |
| | pyls_api.ipynb | 6.7 KB |
| | quasigroup_completion.ipynb | 9.3 KB |
| | regular_table.ipynb | 9.2 KB |
| | regular_table2.ipynb | 8.5 KB |
| | regular.ipynb | 9.3 KB |
| | rogo2.ipynb | 8.6 KB |
| | rostering_with_travel.ipynb | 6.8 KB |
| | safe_cracking.ipynb | 5.0 KB |
| | scheduling_speakers.ipynb | 4.8 KB |
| | scheduling_with_transitions_sat.ipynb | 18.7 KB |
| | school_scheduling_sat.ipynb | 18.5 KB |
| | secret_santa.ipynb | 6.3 KB |
| | secret_santa2.ipynb | 9.9 KB |
| | send_more_money_any_base.ipynb | 5.7 KB |
| | send_most_money.ipynb | 5.9 KB |
| | seseman_b.ipynb | 6.4 KB |
| | seseman.ipynb | 6.7 KB |
| | set_covering_deployment.ipynb | 6.7 KB |
| | set_covering_skiena.ipynb | 5.9 KB |
| | set_covering.ipynb | 4.9 KB |
| | set_covering2.ipynb | 5.0 KB |
| | set_covering3.ipynb | 6.1 KB |
| | set_covering4.ipynb | 7.4 KB |
| | set_partition.ipynb | 7.4 KB |
| | sicherman_dice.ipynb | 6.7 KB |
| | ski_assignment.ipynb | 6.3 KB |
| | slitherlink.ipynb | 13.5 KB |
| | sports_schedule_sat.ipynb | 29.0 KB |
| | stable_marriage_sat.ipynb | 6.6 KB |
| | stable_marriage.ipynb | 8.9 KB |
| | steel_lns.ipynb | 12.9 KB |
| | steel.ipynb | 10.0 KB |
| | stigler_contrib.ipynb | 20.7 KB |
| | strimko2.ipynb | 6.7 KB |
| | subset_sum.ipynb | 5.3 KB |
| | survo_puzzle.ipynb | 8.2 KB |
| | toNum.ipynb | 4.5 KB |
| | traffic_lights.ipynb | 6.4 KB |
| | vendor_scheduling.ipynb | 5.7 KB |
| | volsay.ipynb | 3.9 KB |
| | volsay2.ipynb | 4.2 KB |
| | volsay3.ipynb | 4.7 KB |
| | wedding_optimal_chart.ipynb | 8.7 KB |
| | who_killed_agatha.ipynb | 10.0 KB |
| | xkcd.ipynb | 5.6 KB |
| | young_tableaux.ipynb | 6.9 KB |