| 3_jugs.mod | Jun 21, 2023, 5:21:54 AM | 1.86 KiB | |
| 50_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 1.17 KiB | |
| 5x5_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 1.72 KiB | |
| a_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 3.05 KiB | |
| a_round_of_golf.mod | Jun 21, 2023, 5:21:54 AM | 5.17 KiB | |
| abbots_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 1.07 KiB | |
| abbots_puzzle2.mod | Jun 21, 2023, 5:21:54 AM | 1.31 KiB | |
| abbott.mod | Jun 21, 2023, 5:21:54 AM | 2.92 KiB | |
| all_interval.mod | Jun 21, 2023, 5:21:54 AM | 1.97 KiB | |
| alldifferent_except_0.mod | Jun 21, 2023, 5:21:54 AM | 635 B | |
| appointment_scheduling.mod | Jun 21, 2023, 5:21:54 AM | 3.61 KiB | |
| arch_friends.mod | Jun 21, 2023, 5:21:54 AM | 2.55 KiB | |
| assignment.mod | Jun 21, 2023, 5:21:54 AM | 2.64 KiB | |
| assignment2.mod | Jun 21, 2023, 5:21:54 AM | 1.88 KiB | |
| assignment3.mod | Jun 21, 2023, 5:21:54 AM | 2.97 KiB | |
| baby_sitting.mod | Jun 21, 2023, 5:21:54 AM | 3.02 KiB | |
| bales_of_hay.mod | Jun 21, 2023, 5:21:54 AM | 1.24 KiB | |
| ballistic.mod | Jun 21, 2023, 5:21:54 AM | 388 B | |
| bananas.mod | Jun 21, 2023, 5:21:54 AM | 873 B | |
| birthdays_coins.mod | Jun 21, 2023, 5:21:54 AM | 973 B | |
| book_buy.mod | Jun 21, 2023, 5:21:54 AM | 1.78 KiB | |
| box.mod | Jun 21, 2023, 5:21:54 AM | 2.87 KiB | |
| branch_and_bound.mod | Jun 21, 2023, 5:21:54 AM | 895 B | |
| branch_bound_taha.mod | Jun 21, 2023, 5:21:54 AM | 1.63 KiB | |
| breaking_news.mod | Jun 21, 2023, 5:21:54 AM | 3.58 KiB | |
| broken_weights.mod | Jun 21, 2023, 5:21:54 AM | 2.28 KiB | |
| building_blocks.dat | Jun 21, 2023, 5:21:54 AM | 321 B | |
| building_blocks.mod | Jun 21, 2023, 5:21:54 AM | 1.95 KiB | |
| building_design.mod | Jun 21, 2023, 5:21:54 AM | 3.35 KiB | |
| bus_scheduling.mod | Jun 21, 2023, 5:21:54 AM | 1.52 KiB | |
| calculs_d_enfer.mod | Jun 21, 2023, 5:21:54 AM | 2.01 KiB | |
| capital_budget.mod | Jun 21, 2023, 5:21:54 AM | 1.21 KiB | |
| capital_budget2.mod | Jun 21, 2023, 5:21:54 AM | 1.65 KiB | |
| car.mod | Jun 21, 2023, 5:21:54 AM | 2.17 KiB | |
| car1.dat | Jun 21, 2023, 5:21:54 AM | 381 B | |
| car2.dat | Jun 21, 2023, 5:21:54 AM | 356 B | |
| change_making.mod | Jun 21, 2023, 5:21:54 AM | 1.75 KiB | |
| chessset.mod | Jun 21, 2023, 5:21:54 AM | 1.96 KiB | |
| circling_squares.mod | Jun 21, 2023, 5:21:54 AM | 1.92 KiB | |
| circuit.mod | Jun 21, 2023, 5:21:54 AM | 1.71 KiB | |
| clock_triplets.mod | Jun 21, 2023, 5:21:54 AM | 1.84 KiB | |
| coin_change.mod | Jun 21, 2023, 5:21:54 AM | 1.35 KiB | |
| coin_change2.mod | Jun 21, 2023, 5:21:54 AM | 1.47 KiB | |
| coin_puzzle2.mod | Jun 21, 2023, 5:21:54 AM | 2.44 KiB | |
| coins_grid.mod | Jun 21, 2023, 5:21:54 AM | 1.47 KiB | |
| coins.mod | Jun 21, 2023, 5:21:54 AM | 1.13 KiB | |
| coins2.mod | Jun 21, 2023, 5:21:54 AM | 1.08 KiB | |
| coins3.mod | Jun 21, 2023, 5:21:54 AM | 1.79 KiB | |
| color_simple.mod | Jun 21, 2023, 5:21:54 AM | 3.32 KiB | |
| combinatorial_auction.mod | Jun 21, 2023, 5:21:54 AM | 2.81 KiB | |
| combinatorial_auction1.dat | Jun 21, 2023, 5:21:54 AM | 348 B | |
| combinatorial_auction2.dat | Jun 21, 2023, 5:21:54 AM | 353 B | |
| cookie_bake_off.mod | Jun 21, 2023, 5:21:54 AM | 2.58 KiB | |
| costas_array.mod | Jun 21, 2023, 5:21:54 AM | 3.72 KiB | |
| crew.mod | Jun 21, 2023, 5:21:54 AM | 2.87 KiB | |
| critical_path1.mod | Jun 21, 2023, 5:21:54 AM | 1.32 KiB | |
| crowd.mod | Jun 21, 2023, 5:21:54 AM | 4.19 KiB | |
| crypta.mod | Jun 21, 2023, 5:21:54 AM | 2.41 KiB | |
| crypto.mod | Jun 21, 2023, 5:21:54 AM | 2.64 KiB | |
| cur_num.mod | Jun 21, 2023, 5:21:54 AM | 1.88 KiB | |
| cutting_stock_winston.mod | Jun 21, 2023, 5:21:54 AM | 2.25 KiB | |
| cyclohexane.mod | Jun 21, 2023, 5:21:54 AM | 1.45 KiB | |
| dakota_furniture.mod | Jun 21, 2023, 5:21:54 AM | 977 B | |
| debruijn.mod | Jun 21, 2023, 5:21:54 AM | 3.70 KiB | |
| defending_castle.mod | Jun 21, 2023, 5:21:54 AM | 1.96 KiB | |
| devils_word.mod | Jun 21, 2023, 5:21:54 AM | 1.91 KiB | |
| diet_small.mod | Jun 21, 2023, 5:21:54 AM | 2.18 KiB | |
| dinner.mod | Jun 21, 2023, 5:21:54 AM | 1.53 KiB | |
| divisible_by_9_through_1.mod | Jun 21, 2023, 5:21:54 AM | 2.24 KiB | |
| dqueens.mod | Jun 21, 2023, 5:21:54 AM | 2.23 KiB | |
| dress_party.mod | Jun 21, 2023, 5:21:54 AM | 2.79 KiB | |
| dudeney_bishop_placement1.mod | Jun 21, 2023, 5:21:54 AM | 2.04 KiB | |
| dudeney_bishop_placement2.mod | Jun 21, 2023, 5:21:54 AM | 1.75 KiB | |
| dudeney_numbers.mod | Jun 21, 2023, 5:21:54 AM | 1.73 KiB | |
| dynamical_optimization1.mod | Jun 21, 2023, 5:21:54 AM | 1.32 KiB | |
| dynamical_optimization2.mod | Jun 21, 2023, 5:21:54 AM | 2.77 KiB | |
| earthlin.mod | Jun 21, 2023, 5:21:54 AM | 2.52 KiB | |
| egg_basket.mod | Jun 21, 2023, 5:21:54 AM | 1.25 KiB | |
| einav_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 3.63 KiB | |
| einstein_hurlimann.mod | Jun 21, 2023, 5:21:54 AM | 8.03 KiB | |
| elevator.mod | Jun 21, 2023, 5:21:54 AM | 3.78 KiB | |
| enigma.mod | Jun 21, 2023, 5:21:54 AM | 3.10 KiB | |
| eq10.mod | Jun 21, 2023, 5:21:54 AM | 1.57 KiB | |
| eq20.mod | Jun 21, 2023, 5:21:54 AM | 3.00 KiB | |
| evens.mod | Jun 21, 2023, 5:21:54 AM | 1.72 KiB | |
| evision.mod | Jun 21, 2023, 5:21:54 AM | 2.08 KiB | |
| fancy.mod | Jun 21, 2023, 5:21:54 AM | 1.81 KiB | |
| fill_a_pix.mod | Jun 21, 2023, 5:21:54 AM | 2.39 KiB | |
| fill_a_pix1.dat | Jun 21, 2023, 5:21:54 AM | 394 B | |
| fill_a_pix2.dat | Jun 21, 2023, 5:21:54 AM | 395 B | |
| fill_a_pix3.dat | Jun 21, 2023, 5:21:54 AM | 684 B | |
| finding_celebrities.mod | Jun 21, 2023, 5:21:54 AM | 3.75 KiB | |
| finding_celebrities1.dat | Jun 21, 2023, 5:21:54 AM | 425 B | |
| finding_celebrities2.dat | Jun 21, 2023, 5:21:54 AM | 594 B | |
| finding_celebrities3.dat | Jun 21, 2023, 5:21:54 AM | 877 B | |
| finding_celebrities4.dat | Jun 21, 2023, 5:21:54 AM | 898 B | |
| five_floors.mod | Jun 21, 2023, 5:21:54 AM | 1.72 KiB | |
| five.mod | Jun 21, 2023, 5:21:54 AM | 1.77 KiB | |
| four_islands.mod | Jun 21, 2023, 5:21:54 AM | 4.52 KiB | |
| fractions.mod | Jun 21, 2023, 5:21:54 AM | 1.49 KiB | |
| futoshiki.mod | Jun 21, 2023, 5:21:54 AM | 2.23 KiB | |
| futoshiki1.dat | Jun 21, 2023, 5:21:54 AM | 517 B | |
| futoshiki2.dat | Jun 21, 2023, 5:21:54 AM | 716 B | |
| game_theory_taha.mod | Jun 21, 2023, 5:21:54 AM | 899 B | |
| games.mod | Jun 21, 2023, 5:21:54 AM | 820 B | |
| general_store.mod | Jun 21, 2023, 5:21:54 AM | 2.95 KiB | |
| giapetto.mod | Jun 21, 2023, 5:21:54 AM | 751 B | |
| global_contiguity2.mod | Jun 21, 2023, 5:21:54 AM | 1.25 KiB | |
| goal_programming1.mod | Jun 21, 2023, 5:21:54 AM | 2.25 KiB | |
| golomb.mod | Jun 21, 2023, 5:21:54 AM | 1.55 KiB | |
| gomorys_cut.mod | Jun 21, 2023, 5:21:54 AM | 1004 B | |
| grocery.mod | Jun 21, 2023, 5:21:54 AM | 1.32 KiB | |
| hamming_distance.mod | Jun 21, 2023, 5:21:54 AM | 790 B | |
| handshaking.mod | Jun 21, 2023, 5:21:54 AM | 4.37 KiB | |
| heterosquare.mod | Jun 21, 2023, 5:21:54 AM | 2.90 KiB | |
| hidato.mod | Jun 21, 2023, 5:21:54 AM | 1.68 KiB | |
| hidato1.dat | Jun 21, 2023, 5:21:54 AM | 118 B | |
| hidato2.dat | Jun 21, 2023, 5:21:54 AM | 396 B | |
| hidato3.dat | Jun 21, 2023, 5:21:54 AM | 253 B | |
| hidato4.dat | Jun 21, 2023, 5:21:54 AM | 253 B | |
| hidato5.dat | Jun 21, 2023, 5:21:54 AM | 301 B | |
| hidato6.dat | Jun 21, 2023, 5:21:54 AM | 395 B | |
| hidato7.dat | Jun 21, 2023, 5:21:54 AM | 595 B | |
| hidato8.dat | Jun 21, 2023, 5:21:54 AM | 811 B | |
| hitchcock_transporation_problem.mod | Jun 21, 2023, 5:21:54 AM | 4.36 KiB | |
| honey_division.mod | Jun 21, 2023, 5:21:54 AM | 2.12 KiB | |
| huey_dewey_louie.mod | Jun 21, 2023, 5:21:54 AM | 1.43 KiB | |
| hurlimann_clarke_tobacco.mod | Jun 21, 2023, 5:21:54 AM | 765 B | |
| hurlimann_math01.mod | Jun 21, 2023, 5:21:54 AM | 533 B | |
| hurlimann_math02.mod | Jun 21, 2023, 5:21:54 AM | 1.08 KiB | |
| hurlimann_math03.mod | Jun 21, 2023, 5:21:54 AM | 593 B | |
| ickelinj.mod | Jun 21, 2023, 5:21:54 AM | 493 B | |
| isbn.mod | Jun 21, 2023, 5:21:54 AM | 1.24 KiB | |
| jive_turkeys.mod | Jun 21, 2023, 5:21:54 AM | 974 B | |
| jobs_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 2.81 KiB | |
| joshua.mod | Jun 21, 2023, 5:21:54 AM | 1.65 KiB | |
| just_forgotten.mod | Jun 21, 2023, 5:21:54 AM | 1.52 KiB | |
| kakuro2.mod | Jun 21, 2023, 5:21:54 AM | 4.02 KiB | |
| killer_sudoku.mod | Jun 21, 2023, 5:21:54 AM | 3.10 KiB | |
| knapsack.dat | Jun 21, 2023, 5:21:54 AM | 189 B | |
| knapsack.mod | Jun 21, 2023, 5:21:54 AM | 1.86 KiB | |
| knapsack2.dat | Jun 21, 2023, 5:21:54 AM | 276 B | |
| knapsack3.dat | Jun 21, 2023, 5:21:54 AM | 1.07 KiB | |
| knapsack4.dat | Jun 21, 2023, 5:21:54 AM | 3.18 KiB | |
| knapsack5.mod | Jun 21, 2023, 5:21:54 AM | 1.83 KiB | |
| knight_domination_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 1.90 KiB | |
| knight_domination_puzzle2.mod | Jun 21, 2023, 5:21:54 AM | 1.20 KiB | |
| kntdom.mod | Jun 21, 2023, 5:21:54 AM | 1.64 KiB | |
| kqueens.mod | Jun 21, 2023, 5:21:54 AM | 2.23 KiB | |
| labeled_dice.dat | Jun 21, 2023, 5:21:54 AM | 346 B | |
| labeled_dice.mod | Jun 21, 2023, 5:21:54 AM | 2.79 KiB | |
| labeled_dice2.mod | Jun 21, 2023, 5:21:54 AM | 2.67 KiB | |
| labeled_dice3.mod | Jun 21, 2023, 5:21:54 AM | 2.04 KiB | |
| langford.mod | Jun 21, 2023, 5:21:54 AM | 2.15 KiB | |
| langford1.mod | Jun 21, 2023, 5:21:54 AM | 2.15 KiB | |
| latin_square_card_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 2.02 KiB | |
| lccoin.mod | Jun 21, 2023, 5:21:54 AM | 1.82 KiB | |
| lcr400.mod | Jun 21, 2023, 5:21:54 AM | 1.90 KiB | |
| least_diff2.mod | Jun 21, 2023, 5:21:54 AM | 3.35 KiB | |
| least_diff3.mod | Jun 21, 2023, 5:21:54 AM | 2.26 KiB | |
| least_diff4.mod | Jun 21, 2023, 5:21:54 AM | 1.48 KiB | |
| least_square_optimeringslara_286.mod | Jun 21, 2023, 5:21:54 AM | 1.09 KiB | |
| least_square_winston.mod | Jun 21, 2023, 5:21:54 AM | 1.27 KiB | |
| lecture_series.mod | Jun 21, 2023, 5:21:54 AM | 4.74 KiB | |
| lectures.mod | Jun 21, 2023, 5:21:54 AM | 1.65 KiB | |
| lights.mod | Jun 21, 2023, 5:21:54 AM | 2.13 KiB | |
| magic_hexagon.mod | Jun 21, 2023, 5:21:54 AM | 1.61 KiB | |
| magic_hexagon2.mod | Jun 21, 2023, 5:21:54 AM | 1.61 KiB | |
| magic_sequence.mod | Jun 21, 2023, 5:21:54 AM | 1.32 KiB | |
| magic_square_and_cards.mod | Jun 21, 2023, 5:21:54 AM | 1.18 KiB | |
| magic_square_taha.mod | Jun 21, 2023, 5:21:54 AM | 2.29 KiB | |
| magic_square.mod | Jun 21, 2023, 5:21:54 AM | 931 B | |
| magic_square2.mod | Jun 21, 2023, 5:21:54 AM | 2.15 KiB | |
| magic.mod | Jun 21, 2023, 5:21:54 AM | 1.66 KiB | |
| mamas_age.mod | Jun 21, 2023, 5:21:54 AM | 1.45 KiB | |
| mango_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 1.53 KiB | |
| map.mod | Jun 21, 2023, 5:21:54 AM | 1.23 KiB | |
| map2.mod | Jun 21, 2023, 5:21:54 AM | 1.64 KiB | |
| marathon.mod | Jun 21, 2023, 5:21:54 AM | 2.77 KiB | |
| marathon2.mod | Jun 21, 2023, 5:21:54 AM | 2.03 KiB | |
| max_flow_winston1.mod | Jun 21, 2023, 5:21:54 AM | 1.88 KiB | |
| max_flow_winston2.mod | Jun 21, 2023, 5:21:54 AM | 2.97 KiB | |
| maximum_flow.mod | Jun 21, 2023, 5:21:54 AM | 1.31 KiB | |
| minesweeper_basic3.dat | Jun 21, 2023, 5:21:54 AM | 71 B | |
| minesweeper_basic4.dat | Jun 21, 2023, 5:21:54 AM | 79 B | |
| minesweeper_basic4x4.dat | Jun 21, 2023, 5:21:54 AM | 112 B | |
| minesweeper_config_page2.dat | Jun 21, 2023, 5:21:54 AM | 219 B | |
| minesweeper_config_page3.dat | Jun 21, 2023, 5:21:54 AM | 299 B | |
| minesweeper_german_lakshatov.dat | Jun 21, 2023, 5:21:54 AM | 260 B | |
| minesweeper_splitter.dat | Jun 21, 2023, 5:21:54 AM | 514 B | |
| minesweeper_wire.dat | Jun 21, 2023, 5:21:54 AM | 389 B | |
| minesweeper.mod | Jun 21, 2023, 5:21:54 AM | 3.52 KiB | |
| minesweeper0.dat | Jun 21, 2023, 5:21:54 AM | 232 B | |
| minesweeper1.dat | Jun 21, 2023, 5:21:54 AM | 288 B | |
| minesweeper2.dat | Jun 21, 2023, 5:21:54 AM | 407 B | |
| minesweeper3.dat | Jun 21, 2023, 5:21:54 AM | 312 B | |
| minesweeper4.dat | Jun 21, 2023, 5:21:54 AM | 407 B | |
| minesweeper5.dat | Jun 21, 2023, 5:21:54 AM | 406 B | |
| minesweeper6.dat | Jun 21, 2023, 5:21:54 AM | 319 B | |
| minesweeper7.dat | Jun 21, 2023, 5:21:54 AM | 364 B | |
| minesweeper8.dat | Jun 21, 2023, 5:21:54 AM | 278 B | |
| minesweeper9.dat | Jun 21, 2023, 5:21:54 AM | 364 B | |
| minimum_cost_network_flow_problem1.mod | Jun 21, 2023, 5:21:54 AM | 2.20 KiB | |
| monks_and_doors.mod | Jun 21, 2023, 5:21:54 AM | 2.18 KiB | |
| monte_carlo.mod | Jun 21, 2023, 5:21:54 AM | 480 B | |
| mr_smith.mod | Jun 21, 2023, 5:21:54 AM | 1.65 KiB | |
| murty_781.mod | Jun 21, 2023, 5:21:54 AM | 1.51 KiB | |
| murty_782.mod | Jun 21, 2023, 5:21:54 AM | 913 B | |
| nim.mod | Jun 21, 2023, 5:21:54 AM | 2.05 KiB | |
| nlp_winston_617.mod | Jun 21, 2023, 5:21:54 AM | 963 B | |
| non_dominating_queens.mod | Jun 21, 2023, 5:21:54 AM | 2.41 KiB | |
| nonlin_optimeringslara_288.mod | Jun 21, 2023, 5:21:54 AM | 3.18 KiB | |
| nonlin_optimeringslara_555.mod | Jun 21, 2023, 5:21:54 AM | 1.93 KiB | |
| nonlin_sin.mod | Jun 21, 2023, 5:21:54 AM | 719 B | |
| nonlin1.mod | Jun 21, 2023, 5:21:54 AM | 467 B | |
| nonlin2.mod | Jun 21, 2023, 5:21:54 AM | 664 B | |
| nonlin3.mod | Jun 21, 2023, 5:21:54 AM | 356 B | |
| nonlin4_winston_656.mod | Jun 21, 2023, 5:21:54 AM | 1.25 KiB | |
| nonlin5.mod | Jun 21, 2023, 5:21:54 AM | 689 B | |
| nqueens_cp.mod | Jun 21, 2023, 5:21:54 AM | 436 B | |
| number_of_days.mod | Jun 21, 2023, 5:21:54 AM | 1.88 KiB | |
| number_square.mod | Jun 21, 2023, 5:21:54 AM | 895 B | |
| olympic.mod | Jun 21, 2023, 5:21:54 AM | 1.43 KiB | |
| onroad.mod | Jun 21, 2023, 5:21:54 AM | 2.30 KiB | |
| optimeringslara_126.mod | Jun 21, 2023, 5:21:54 AM | 2.23 KiB | |
| optimeringslara_386.mod | Jun 21, 2023, 5:21:54 AM | 821 B | |
| organize_day.mod | Jun 21, 2023, 5:21:54 AM | 3.69 KiB | |
| organize_day2.mod | Jun 21, 2023, 5:21:54 AM | 1.15 KiB | |
| pair_divides_the_sum.mod | Jun 21, 2023, 5:21:54 AM | 1.46 KiB | |
| partition_into_subsets_of_equal_values.mod | Jun 21, 2023, 5:21:54 AM | 2.78 KiB | |
| partition_into_subsets_of_equal_values1.dat | Jun 21, 2023, 5:21:54 AM | 117 B | |
| partition_into_subsets_of_equal_values2.dat | Jun 21, 2023, 5:21:54 AM | 552 B | |
| partition_into_subsets_of_equal_values3.dat | Jun 21, 2023, 5:21:54 AM | 6.60 KiB | |
| partition_into_subsets_of_equal_values4.dat | Jun 21, 2023, 5:21:54 AM | 68.33 KiB | |
| perfect_square_sequence.mod | Jun 21, 2023, 5:21:54 AM | 1.66 KiB | |
| pert.mod | Jun 21, 2023, 5:21:54 AM | 1.58 KiB | |
| photo_problem.mod | Jun 21, 2023, 5:21:54 AM | 2.92 KiB | |
| photo_problem1.dat | Jun 21, 2023, 5:21:54 AM | 325 B | |
| photo_problem2.dat | Jun 21, 2023, 5:21:54 AM | 623 B | |
| photo_problem3.dat | Jun 21, 2023, 5:21:54 AM | 376 B | |
| picking_teams.mod | Jun 21, 2023, 5:21:54 AM | 3.48 KiB | |
| pigeon_hole.mod | Jun 21, 2023, 5:21:54 AM | 1.21 KiB | |
| pilgrim.mod | Jun 21, 2023, 5:21:54 AM | 2.35 KiB | |
| place_number.mod | Jun 21, 2023, 5:21:54 AM | 1.36 KiB | |
| post_office_problem.mod | Jun 21, 2023, 5:21:54 AM | 2.23 KiB | |
| post_office_problem2.mod | Jun 21, 2023, 5:21:54 AM | 2.21 KiB | |
| public_school_problem.mod | Jun 21, 2023, 5:21:54 AM | 1.51 KiB | |
| puzzle1.mod | Jun 21, 2023, 5:21:54 AM | 2.23 KiB | |
| quasigroup_completion_gomes_demo1.dat | Jun 21, 2023, 5:21:54 AM | 463 B | |
| quasigroup_completion_gomes_demo2.dat | Jun 21, 2023, 5:21:54 AM | 463 B | |
| quasigroup_completion_gomes_demo3.dat | Jun 21, 2023, 5:21:54 AM | 768 B | |
| quasigroup_completion_gomes_demo4.dat | Jun 21, 2023, 5:21:54 AM | 543 B | |
| quasigroup_completion_gomes_demo5.dat | Jun 21, 2023, 5:21:54 AM | 460 B | |
| quasigroup_completion_gomes_shmoys_p3.dat | Jun 21, 2023, 5:21:54 AM | 205 B | |
| quasigroup_completion_gomes_shmoys_p7.dat | Jun 21, 2023, 5:21:54 AM | 166 B | |
| quasigroup_completion_martin_lynce.dat | Jun 21, 2023, 5:21:54 AM | 360 B | |
| quasigroup_completion.mod | Jun 21, 2023, 5:21:54 AM | 2.19 KiB | |
| quasigroup_completion0.dat | Jun 21, 2023, 5:21:54 AM | 329 B | |
| remainder_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 771 B | |
| remainder_puzzle2.mod | Jun 21, 2023, 5:21:54 AM | 878 B | |
| rosebush.mod | Jun 21, 2023, 5:21:54 AM | 2.68 KiB | |
| rot13.mod | Jun 21, 2023, 5:21:54 AM | 981 B | |
| safe_cracking.mod | Jun 21, 2023, 5:21:54 AM | 1.08 KiB | |
| schedule1.mod | Jun 21, 2023, 5:21:54 AM | 2.74 KiB | |
| schedule2.mod | Jun 21, 2023, 5:21:54 AM | 2.38 KiB | |
| scheduling_speakers.mod | Jun 21, 2023, 5:21:54 AM | 1.29 KiB | |
| secret_santa.mod | Jun 21, 2023, 5:21:54 AM | 2.64 KiB | |
| secret_santa2.mod | Jun 21, 2023, 5:21:54 AM | 3.87 KiB | |
| send_more_money2.mod | Jun 21, 2023, 5:21:54 AM | 4.30 KiB | |
| send_more_money3.mod | Jun 21, 2023, 5:21:54 AM | 3.83 KiB | |
| send_more_money4.mod | Jun 21, 2023, 5:21:54 AM | 2.30 KiB | |
| sendmore_hurlimann.mod | Jun 21, 2023, 5:21:54 AM | 1.97 KiB | |
| sensitivity_analysis.1.mod | Jun 21, 2023, 5:21:54 AM | 2.07 KiB | |
| seseman.mod | Jun 21, 2023, 5:21:54 AM | 1.17 KiB | |
| set_comparison.mod | Jun 21, 2023, 5:21:54 AM | 418 B | |
| set_cov1.dat | Jun 21, 2023, 5:21:54 AM | 21.11 KiB | |
| set_covering_deployment.mod | Jun 21, 2023, 5:21:54 AM | 5.37 KiB | |
| set_covering_opl.mod | Jun 21, 2023, 5:21:54 AM | 3.97 KiB | |
| set_covering_skiena.mod | Jun 21, 2023, 5:21:54 AM | 2.59 KiB | |
| set_covering_winston1.mod | Jun 21, 2023, 5:21:54 AM | 1.89 KiB | |
| set_covering3.mod | Jun 21, 2023, 5:21:54 AM | 1.69 KiB | |
| set_covering4.mod | Jun 21, 2023, 5:21:54 AM | 1.16 KiB | |
| set_packing.mod | Jun 21, 2023, 5:21:54 AM | 1.39 KiB | |
| shortest_path1.mod | Jun 21, 2023, 5:21:54 AM | 3.45 KiB | |
| shortest_path2.mod | Jun 21, 2023, 5:21:54 AM | 2.34 KiB | |
| sicherman_dice.mod | Jun 21, 2023, 5:21:54 AM | 2.13 KiB | |
| ski_assignment_problem.mod | Jun 21, 2023, 5:21:54 AM | 2.42 KiB | |
| smullyan_portia.mod | Jun 21, 2023, 5:21:54 AM | 2.53 KiB | |
| social_golfers1.mod | Jun 21, 2023, 5:21:54 AM | 2.50 KiB | |
| sonet_problem.mod | Jun 21, 2023, 5:21:54 AM | 2.72 KiB | |
| spreadsheet.mod | Jun 21, 2023, 5:21:54 AM | 1.23 KiB | |
| squeens.mod | Jun 21, 2023, 5:21:54 AM | 2.20 KiB | |
| stamp_licking.mod | Jun 21, 2023, 5:21:54 AM | 2.19 KiB | |
| strimko2_002.dat | Jun 21, 2023, 5:21:54 AM | 444 B | |
| strimko2_067.dat | Jun 21, 2023, 5:21:54 AM | 333 B | |
| strimko2_068.dat | Jun 21, 2023, 5:21:54 AM | 256 B | |
| strimko2_069.dat | Jun 21, 2023, 5:21:54 AM | 427 B | |
| strimko2_070.dat | Jun 21, 2023, 5:21:54 AM | 323 B | |
| strimko2_conceptis_069.dat | Jun 21, 2023, 5:21:54 AM | 925 B | |
| strimko2.mod | Jun 21, 2023, 5:21:54 AM | 1.98 KiB | |
| stuckey_seesaw.mod | Jun 21, 2023, 5:21:54 AM | 903 B | |
| subset_sum.mod | Jun 21, 2023, 5:21:54 AM | 1.51 KiB | |
| sudoku_cp.mod | Jun 21, 2023, 5:21:54 AM | 1.89 KiB | |
| sudokuHard.dat | Jun 21, 2023, 5:21:54 AM | 390 B | |
| sudokuVeryEasy.dat | Jun 21, 2023, 5:21:54 AM | 384 B | |
| sum_squares.mod | Jun 21, 2023, 5:21:54 AM | 378 B | |
| survo_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 2.52 KiB | |
| survo_puzzle1.dat | Jun 21, 2023, 5:21:54 AM | 253 B | |
| survo_puzzle2.dat | Jun 21, 2023, 5:21:54 AM | 215 B | |
| survo_puzzle3.dat | Jun 21, 2023, 5:21:54 AM | 328 B | |
| survo_puzzle4.dat | Jun 21, 2023, 5:21:54 AM | 316 B | |
| survo_puzzle5.dat | Jun 21, 2023, 5:21:54 AM | 303 B | |
| survo_puzzle6.dat | Jun 21, 2023, 5:21:54 AM | 449 B | |
| survo_puzzle7.dat | Jun 21, 2023, 5:21:54 AM | 387 B | |
| taha_21.mod | Jun 21, 2023, 5:21:54 AM | 677 B | |
| talisman_square.mod | Jun 21, 2023, 5:21:54 AM | 1.32 KiB | |
| tea_mixing.mod | Jun 21, 2023, 5:21:54 AM | 1.93 KiB | |
| timpkin.mod | Jun 21, 2023, 5:21:54 AM | 997 B | |
| tobacco.mod | Jun 21, 2023, 5:21:54 AM | 852 B | |
| tomography.mod | Jun 21, 2023, 5:21:54 AM | 2.40 KiB | |
| torn_number.mod | Jun 21, 2023, 5:21:54 AM | 1.87 KiB | |
| tourist_site_competition.mod | Jun 21, 2023, 5:21:54 AM | 2.23 KiB | |
| traffic_lights.mod | Jun 21, 2023, 5:21:54 AM | 2.56 KiB | |
| transportation.mod | Jun 21, 2023, 5:21:54 AM | 1.68 KiB | |
| transshipment.mod | Jun 21, 2023, 5:21:54 AM | 2.65 KiB | |
| trial1.mod | Jun 21, 2023, 5:21:54 AM | 1.42 KiB | |
| trial12_variant.mod | Jun 21, 2023, 5:21:54 AM | 4.63 KiB | |
| trial2.mod | Jun 21, 2023, 5:21:54 AM | 1.58 KiB | |
| trial3.mod | Jun 21, 2023, 5:21:54 AM | 1.25 KiB | |
| trial4.mod | Jun 21, 2023, 5:21:54 AM | 1.28 KiB | |
| trial5.mod | Jun 21, 2023, 5:21:54 AM | 1.28 KiB | |
| trial6.mod | Jun 21, 2023, 5:21:54 AM | 1.47 KiB | |
| tsp_winston.mod | Jun 21, 2023, 5:21:54 AM | 2.30 KiB | |
| twelve.mod | Jun 21, 2023, 5:21:54 AM | 1.82 KiB | |
| twin_letters.mod | Jun 21, 2023, 5:21:54 AM | 2.25 KiB | |
| warehouse_location.mod | Jun 21, 2023, 5:21:54 AM | 1.96 KiB | |
| was-index.html | Jun 21, 2023, 5:21:54 AM | 35.64 KiB | |
| wedding_optimal_chart.mod | Jun 21, 2023, 5:21:54 AM | 3.55 KiB | |
| were2.mod | Jun 21, 2023, 5:21:54 AM | 1.51 KiB | |
| were4.mod | Jun 21, 2023, 5:21:54 AM | 1.29 KiB | |
| who_killed_agatha.mod | Jun 21, 2023, 5:21:54 AM | 2.93 KiB | |
| williams_131.mod | Jun 21, 2023, 5:21:54 AM | 639 B | |
| wine_cask_puzzle.mod | Jun 21, 2023, 5:21:54 AM | 1.93 KiB | |
| winston373.mod | Jun 21, 2023, 5:21:54 AM | 2.03 KiB | |
| work_hour.mod | Jun 21, 2023, 5:21:54 AM | 408 B | |
| work2.mod | Jun 21, 2023, 5:21:54 AM | 507 B | |
| work3.mod | Jun 21, 2023, 5:21:54 AM | 575 B | |
| xkcd.mod | Jun 21, 2023, 5:21:54 AM | 893 B | |
| young_tableaux.mod | Jun 21, 2023, 5:21:54 AM | 1.99 KiB | |
| zebra_cp.mod | Jun 21, 2023, 5:21:54 AM | 3.94 KiB | |
|