|
..
|
|
3_jugs_mip.py
|
|
3_jugs_regular.cs
|
|
3_jugs_regular.py
|
|
AllDifferentExcept0.java
|
|
AllInterval.java
|
|
CMakeLists.txt
|
|
Circuit.java
|
|
CoinsGrid.java
|
|
CoinsGridMIP.java
|
|
ColoringMIP.java
|
|
CoveringOpl.java
|
|
Crossword.java
|
|
DeBruijn.java
|
|
Diet.java
|
|
DietMIP.java
|
|
DivisibleBy9Through1.java
|
|
GolombRuler.java
|
|
Issue173.java
|
|
KnapsackMIP.java
|
|
LeastDiff.java
|
|
MagicSquare.java
|
|
Map.java
|
|
Map2.java
|
|
Minesweeper.java
|
|
MultiThreadTest.java
|
|
NQueens.java
|
|
NQueens2.java
|
|
Partition.java
|
|
QuasigroupCompletion.java
|
|
SendMoreMoney.java
|
|
SendMoreMoney2.java
|
|
SendMostMoney.java
|
|
Seseman.java
|
|
SetCovering.java
|
|
SetCovering2.java
|
|
SetCovering3.java
|
|
SetCovering4.java
|
|
SetCoveringDeployment.java
|
|
SimpleRoutingTest.java
|
|
StableMarriage.java
|
|
StiglerMIP.java
|
|
Strimko2.java
|
|
Sudoku.java
|
|
SurvoPuzzle.java
|
|
ToNum.java
|
|
WhoKilledAgatha.java
|
|
Xkcd.java
|
|
YoungTableaux.java
|
|
a_puzzle.cs
|
|
a_round_of_golf.cs
|
|
a_round_of_golf.py
|
|
all_interval.cs
|
|
all_interval.py
|
|
alldifferent_except_0.cs
|
|
alldifferent_except_0.py
|
|
alphametic.py
|
|
assignment.cs
|
|
assignment.py
|
|
assignment6_mip.py
|
|
bacp.py
|
|
bacp.txt
|
|
blending.py
|
|
broken_weights.cs
|
|
broken_weights.py
|
|
bus_schedule.cs
|
|
bus_schedule.py
|
|
car.py
|
|
check_dependencies.py
|
|
circuit.cs
|
|
circuit.py
|
|
circuit2.cs
|
|
coins3.cs
|
|
coins3.py
|
|
coins_grid.cs
|
|
coins_grid.py
|
|
coins_grid_mip.py
|
|
coloring_ip.py
|
|
combinatorial_auction2.cs
|
|
combinatorial_auction2.py
|
|
contiguity_regular.cs
|
|
contiguity_regular.py
|
|
contiguity_transition.cs
|
|
costas_array.cs
|
|
costas_array.py
|
|
covering_opl.cs
|
|
covering_opl.py
|
|
crew.cs
|
|
crew.py
|
|
crossword.cs
|
|
crossword2.py
|
|
crypta.cs
|
|
crypta.py
|
|
crypto.cs
|
|
crypto.py
|
|
csdiet.cs
|
|
curious_set_of_integers.cs
|
|
curious_set_of_integers.py
|
|
debruijn.cs
|
|
debruijn_binary.py
|
|
diet1.py
|
|
diet1_b.py
|
|
diet1_mip.py
|
|
discrete_tomography.cs
|
|
discrete_tomography.py
|
|
divisible_by_9_through_1.cs
|
|
divisible_by_9_through_1.py
|
|
dudeney.cs
|
|
dudeney.py
|
|
einav_puzzle.py
|
|
einav_puzzle2.cs
|
|
einav_puzzle2.py
|
|
eq10.cs
|
|
eq10.py
|
|
eq20.cs
|
|
eq20.py
|
|
fill_a_pix.cs
|
|
fill_a_pix.py
|
|
furniture_moving.cs
|
|
furniture_moving.py
|
|
futoshiki.cs
|
|
futoshiki.py
|
|
game_theory_taha.py
|
|
golomb_ruler.cs
|
|
grocery.cs
|
|
grocery.py
|
|
hidato.py
|
|
hidato_table.cs
|
|
just_forgotten.cs
|
|
just_forgotten.py
|
|
kakuro.cs
|
|
kakuro.py
|
|
kenken2.cs
|
|
kenken2.py
|
|
killer_sudoku.cs
|
|
killer_sudoku.py
|
|
knapsack_cp.py
|
|
knapsack_mip.py
|
|
labeled_dice.cs
|
|
labeled_dice.py
|
|
langford.cs
|
|
langford.py
|
|
least_diff.cs
|
|
least_diff.py
|
|
least_square.py
|
|
lectures.cs
|
|
lectures.py
|
|
magic_sequence.cs
|
|
magic_sequence_sat.py
|
|
magic_square.cs
|
|
magic_square.py
|
|
magic_square_and_cards.cs
|
|
magic_square_and_cards.py
|
|
magic_square_mip.py
|
|
map.cs
|
|
map.py
|
|
map2.cs
|
|
marathon2.cs
|
|
marathon2.py
|
|
max_flow_taha.cs
|
|
max_flow_taha.py
|
|
max_flow_winston1.cs
|
|
max_flow_winston1.py
|
|
minesweeper.cs
|
|
minesweeper.py
|
|
mr_smith.cs
|
|
mr_smith.py
|
|
nonogram_default_search.py
|
|
nonogram_regular.py
|
|
nonogram_table.py
|
|
nonogram_table2.py
|
|
nontransitive_dice.cs
|
|
nontransitive_dice.py
|
|
nqueens.cs
|
|
nqueens.py
|
|
nqueens2.py
|
|
nqueens3.py
|
|
nurse_rostering.py
|
|
nurse_rostering_regular.cs
|
|
nurse_rostering_transition.cs
|
|
nurses_cp.py
|
|
olympic.cs
|
|
olympic.py
|
|
organize_day.cs
|
|
organize_day.py
|
|
p_median.cs
|
|
p_median.py
|
|
pandigital_numbers.cs
|
|
pandigital_numbers.py
|
|
partition.cs
|
|
perfect_square_sequence.cs
|
|
photo_problem.cs
|
|
photo_problem.py
|
|
place_number_puzzle.cs
|
|
place_number_puzzle.py
|
|
post_office_problem2.cs
|
|
post_office_problem2.py
|
|
production.py
|
|
project_scheduling_sat.py
|
|
pyls_api.py
|
|
quasigroup_completion.cs
|
|
quasigroup_completion.py
|
|
regex.cs
|
|
regular.py
|
|
regular_table.py
|
|
regular_table2.py
|
|
rogo2.cs
|
|
rogo2.py
|
|
rostering_with_travel.py
|
|
safe_cracking.py
|
|
scheduling_speakers.cs
|
|
scheduling_speakers.py
|
|
scheduling_with_transitions_sat.py
|
|
school_scheduling_sat.py
|
|
secret_santa.cs
|
|
secret_santa.py
|
|
secret_santa2.cs
|
|
secret_santa2.py
|
|
send_more_money.cs
|
|
send_more_money2.cs
|
|
send_more_money_any_base.py
|
|
send_most_money.cs
|
|
send_most_money.py
|
|
seseman.cs
|
|
seseman.py
|
|
seseman_b.py
|
|
set_covering.cs
|
|
set_covering.py
|
|
set_covering2.cs
|
|
set_covering2.py
|
|
set_covering3.cs
|
|
set_covering3.py
|
|
set_covering4.cs
|
|
set_covering4.py
|
|
set_covering_deployment.cs
|
|
set_covering_deployment.py
|
|
set_covering_skiena.cs
|
|
set_covering_skiena.py
|
|
set_partition.cs
|
|
set_partition.py
|
|
sicherman_dice.cs
|
|
sicherman_dice.py
|
|
ski_assignment.cs
|
|
ski_assignment.py
|
|
slitherlink.py
|
|
sports_schedule_sat.py
|
|
stable_marriage.cs
|
|
stable_marriage.py
|
|
stable_marriage_sat.py
|
|
steel.py
|
|
steel.txt
|
|
steel_lns.py
|
|
stigler_contrib.py
|
|
strimko2.cs
|
|
strimko2.py
|
|
subset_sum.cs
|
|
subset_sum.py
|
|
sudoku.cs
|
|
survo_puzzle.cs
|
|
survo_puzzle.py
|
|
toNum.py
|
|
to_num.cs
|
|
traffic_lights.cs
|
|
traffic_lights.py
|
|
vendor_scheduling.py
|
|
volsay.cs
|
|
volsay.py
|
|
volsay2.cs
|
|
volsay2.py
|
|
volsay3.cs
|
|
volsay3.py
|
|
vrptw_fixed_penalty.cs
|
|
wedding_optimal_chart.cs
|
|
wedding_optimal_chart.py
|
|
who_killed_agatha.cs
|
|
who_killed_agatha.py
|
|
word_square.cs
|
|
word_square.py
|
|
words_list.txt
|
|
xkcd.cs
|
|
xkcd.py
|
|
young_tableaux.cs
|
|
young_tableaux.py
|
|
zebra.cs
|