|
..
|
|
3_jugs_mip.py
|
|
3_jugs_regular.cs
|
|
3_jugs_regular.csproj
|
|
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
|
|
Google.OrTools.Contrib.sln
|
|
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
|
|
SimpleProgramFSharp.fs
|
|
SimpleProgramFSharp.fsproj
|
|
SimpleRoutingTest.java
|
|
StableMarriage.java
|
|
StiglerMIP.java
|
|
Strimko2.java
|
|
Sudoku.java
|
|
SurvoPuzzle.java
|
|
ToNum.java
|
|
WhoKilledAgatha.java
|
|
Xkcd.java
|
|
YoungTableaux.java
|
|
a_puzzle.cs
|
|
a_puzzle.csproj
|
|
a_round_of_golf.cs
|
|
a_round_of_golf.csproj
|
|
a_round_of_golf.py
|
|
all_interval.cs
|
|
all_interval.csproj
|
|
all_interval.py
|
|
alldifferent_except_0.cs
|
|
alldifferent_except_0.csproj
|
|
alldifferent_except_0.py
|
|
alphametic.py
|
|
assignment.cs
|
|
assignment.csproj
|
|
assignment.py
|
|
assignment6_mip.py
|
|
bacp.py
|
|
blending.py
|
|
broken_weights.cs
|
|
broken_weights.csproj
|
|
broken_weights.py
|
|
bus_schedule.cs
|
|
bus_schedule.csproj
|
|
bus_schedule.py
|
|
car.py
|
|
check_dependencies.py
|
|
circuit.cs
|
|
circuit.csproj
|
|
circuit.py
|
|
circuit2.cs
|
|
circuit2.csproj
|
|
coins3.cs
|
|
coins3.csproj
|
|
coins3.py
|
|
coins_grid.cs
|
|
coins_grid.csproj
|
|
coins_grid.py
|
|
coins_grid_mip.py
|
|
coloring_ip.py
|
|
combinatorial_auction2.cs
|
|
combinatorial_auction2.csproj
|
|
combinatorial_auction2.py
|
|
contiguity_regular.cs
|
|
contiguity_regular.csproj
|
|
contiguity_regular.py
|
|
contiguity_transition.cs
|
|
contiguity_transition.csproj
|
|
costas_array.cs
|
|
costas_array.csproj
|
|
costas_array.py
|
|
covering_opl.cs
|
|
covering_opl.csproj
|
|
covering_opl.py
|
|
crew.cs
|
|
crew.csproj
|
|
crew.py
|
|
crossword.cs
|
|
crossword.csproj
|
|
crossword2.py
|
|
crypta.cs
|
|
crypta.csproj
|
|
crypta.py
|
|
crypto.cs
|
|
crypto.csproj
|
|
crypto.py
|
|
csdiet.cs
|
|
csdiet.csproj
|
|
curious_set_of_integers.cs
|
|
curious_set_of_integers.csproj
|
|
curious_set_of_integers.py
|
|
debruijn.cs
|
|
debruijn.csproj
|
|
debruijn_binary.py
|
|
diet1.py
|
|
diet1_b.py
|
|
diet1_mip.py
|
|
discrete_tomography.cs
|
|
discrete_tomography.csproj
|
|
discrete_tomography.py
|
|
divisible_by_9_through_1.cs
|
|
divisible_by_9_through_1.csproj
|
|
divisible_by_9_through_1.py
|
|
dudeney.cs
|
|
dudeney.csproj
|
|
dudeney.py
|
|
einav_puzzle.py
|
|
einav_puzzle2.cs
|
|
einav_puzzle2.csproj
|
|
einav_puzzle2.py
|
|
eq10.cs
|
|
eq10.csproj
|
|
eq10.py
|
|
eq20.cs
|
|
eq20.csproj
|
|
eq20.py
|
|
fill_a_pix.cs
|
|
fill_a_pix.csproj
|
|
fill_a_pix.py
|
|
fsProgram.fs
|
|
fsProgram.fsproj
|
|
fsdiet.fs
|
|
fsdiet.fsproj
|
|
fsequality-inequality.fs
|
|
fsequality-inequality.fsproj
|
|
fsequality.fs
|
|
fsequality.fsproj
|
|
fsinteger-linear-program.fs
|
|
fsinteger-linear-program.fsproj
|
|
fsintegerprogramming.fs
|
|
fsintegerprogramming.fsproj
|
|
fsknapsack.fs
|
|
fsknapsack.fsproj
|
|
fslinearprogramming.fs
|
|
fslinearprogramming.fsproj
|
|
fsnetwork-max-flow-lpSolve.fs
|
|
fsnetwork-max-flow-lpSolve.fsproj
|
|
fsnetwork-max-flow.fs
|
|
fsnetwork-max-flow.fsproj
|
|
fsnetwork-min-cost-flow.fs
|
|
fsnetwork-min-cost-flow.fsproj
|
|
fsrabbit-pheasant.fs
|
|
fsrabbit-pheasant.fsproj
|
|
fsvolsay.fs
|
|
fsvolsay.fsproj
|
|
fsvolsay3-lpSolve.fs
|
|
fsvolsay3-lpSolve.fsproj
|
|
fsvolsay3.fs
|
|
fsvolsay3.fsproj
|
|
furniture_moving.cs
|
|
furniture_moving.csproj
|
|
furniture_moving.py
|
|
furniture_moving_intervals.cs
|
|
furniture_moving_intervals.csproj
|
|
futoshiki.cs
|
|
futoshiki.csproj
|
|
futoshiki.py
|
|
game_theory_taha.py
|
|
golomb_ruler.cs
|
|
golomb_ruler.csproj
|
|
grocery.cs
|
|
grocery.csproj
|
|
grocery.py
|
|
hidato.py
|
|
hidato_table.cs
|
|
hidato_table.csproj
|
|
just_forgotten.cs
|
|
just_forgotten.csproj
|
|
just_forgotten.py
|
|
kakuro.cs
|
|
kakuro.csproj
|
|
kakuro.py
|
|
kenken2.cs
|
|
kenken2.csproj
|
|
kenken2.py
|
|
killer_sudoku.cs
|
|
killer_sudoku.csproj
|
|
killer_sudoku.py
|
|
knapsack_cp.py
|
|
knapsack_mip.py
|
|
labeled_dice.cs
|
|
labeled_dice.csproj
|
|
labeled_dice.py
|
|
langford.cs
|
|
langford.csproj
|
|
langford.py
|
|
least_diff.cs
|
|
least_diff.csproj
|
|
least_diff.py
|
|
least_square.py
|
|
lectures.cs
|
|
lectures.csproj
|
|
lectures.py
|
|
magic_sequence.cs
|
|
magic_sequence.csproj
|
|
magic_sequence_sat.py
|
|
magic_square.cs
|
|
magic_square.csproj
|
|
magic_square.py
|
|
magic_square_and_cards.cs
|
|
magic_square_and_cards.csproj
|
|
magic_square_and_cards.py
|
|
magic_square_mip.py
|
|
map.cs
|
|
map.csproj
|
|
map.py
|
|
map2.cs
|
|
map2.csproj
|
|
marathon2.cs
|
|
marathon2.csproj
|
|
marathon2.py
|
|
max_flow_taha.cs
|
|
max_flow_taha.csproj
|
|
max_flow_taha.py
|
|
max_flow_winston1.cs
|
|
max_flow_winston1.csproj
|
|
max_flow_winston1.py
|
|
minesweeper.cs
|
|
minesweeper.csproj
|
|
minesweeper.py
|
|
mr_smith.cs
|
|
mr_smith.csproj
|
|
mr_smith.py
|
|
nonogram_default_search.py
|
|
nonogram_regular.py
|
|
nonogram_table.py
|
|
nonogram_table2.py
|
|
nontransitive_dice.cs
|
|
nontransitive_dice.csproj
|
|
nontransitive_dice.py
|
|
nqueens.cs
|
|
nqueens.csproj
|
|
nqueens.py
|
|
nqueens2.py
|
|
nqueens3.py
|
|
nurse_rostering.py
|
|
nurse_rostering_regular.cs
|
|
nurse_rostering_regular.csproj
|
|
nurse_rostering_transition.cs
|
|
nurse_rostering_transition.csproj
|
|
nurses_cp.py
|
|
olympic.cs
|
|
olympic.csproj
|
|
olympic.py
|
|
organize_day.cs
|
|
organize_day.csproj
|
|
organize_day.py
|
|
organize_day_intervals.cs
|
|
organize_day_intervals.csproj
|
|
p_median.cs
|
|
p_median.csproj
|
|
p_median.py
|
|
pandigital_numbers.cs
|
|
pandigital_numbers.csproj
|
|
pandigital_numbers.py
|
|
partition.cs
|
|
partition.csproj
|
|
perfect_square_sequence.cs
|
|
perfect_square_sequence.csproj
|
|
photo_problem.cs
|
|
photo_problem.csproj
|
|
photo_problem.py
|
|
place_number_puzzle.cs
|
|
place_number_puzzle.csproj
|
|
place_number_puzzle.py
|
|
post_office_problem2.cs
|
|
post_office_problem2.csproj
|
|
post_office_problem2.py
|
|
production.py
|
|
pyls_api.py
|
|
quasigroup_completion.cs
|
|
quasigroup_completion.csproj
|
|
quasigroup_completion.py
|
|
regex.cs
|
|
regex.csproj
|
|
regular.py
|
|
regular_table.py
|
|
regular_table2.py
|
|
rogo2.cs
|
|
rogo2.csproj
|
|
rogo2.py
|
|
rostering_with_travel.py
|
|
safe_cracking.py
|
|
scheduling_speakers.cs
|
|
scheduling_speakers.csproj
|
|
scheduling_speakers.py
|
|
scheduling_with_transitions_sat.py
|
|
school_scheduling_sat.py
|
|
secret_santa.cs
|
|
secret_santa.csproj
|
|
secret_santa.py
|
|
secret_santa2.cs
|
|
secret_santa2.csproj
|
|
secret_santa2.py
|
|
send_more_money.cs
|
|
send_more_money.csproj
|
|
send_more_money2.cs
|
|
send_more_money2.csproj
|
|
send_more_money_any_base.py
|
|
send_most_money.cs
|
|
send_most_money.csproj
|
|
send_most_money.py
|
|
seseman.cs
|
|
seseman.csproj
|
|
seseman.py
|
|
seseman_b.py
|
|
set_covering.cs
|
|
set_covering.csproj
|
|
set_covering.py
|
|
set_covering2.cs
|
|
set_covering2.csproj
|
|
set_covering2.py
|
|
set_covering3.cs
|
|
set_covering3.csproj
|
|
set_covering3.py
|
|
set_covering4.cs
|
|
set_covering4.csproj
|
|
set_covering4.py
|
|
set_covering_deployment.cs
|
|
set_covering_deployment.csproj
|
|
set_covering_deployment.py
|
|
set_covering_skiena.cs
|
|
set_covering_skiena.csproj
|
|
set_covering_skiena.py
|
|
set_partition.cs
|
|
set_partition.csproj
|
|
set_partition.py
|
|
sicherman_dice.cs
|
|
sicherman_dice.csproj
|
|
sicherman_dice.py
|
|
ski_assignment.cs
|
|
ski_assignment.csproj
|
|
ski_assignment.py
|
|
slitherlink.py
|
|
stable_marriage.cs
|
|
stable_marriage.csproj
|
|
stable_marriage.py
|
|
stable_marriage_sat.py
|
|
steel.py
|
|
steel_lns.py
|
|
stigler.py
|
|
strimko2.cs
|
|
strimko2.csproj
|
|
strimko2.py
|
|
subset_sum.cs
|
|
subset_sum.csproj
|
|
subset_sum.py
|
|
sudoku.cs
|
|
sudoku.csproj
|
|
survo_puzzle.cs
|
|
survo_puzzle.csproj
|
|
survo_puzzle.py
|
|
toNum.py
|
|
to_num.cs
|
|
to_num.csproj
|
|
traffic_lights.cs
|
|
traffic_lights.csproj
|
|
traffic_lights.py
|
|
vendor_scheduling.py
|
|
volsay.cs
|
|
volsay.csproj
|
|
volsay.py
|
|
volsay2.cs
|
|
volsay2.csproj
|
|
volsay2.py
|
|
volsay3.cs
|
|
volsay3.csproj
|
|
volsay3.py
|
|
wedding_optimal_chart.cs
|
|
wedding_optimal_chart.csproj
|
|
wedding_optimal_chart.py
|
|
who_killed_agatha.cs
|
|
who_killed_agatha.csproj
|
|
who_killed_agatha.py
|
|
word_square.cs
|
|
word_square.csproj
|
|
word_square.py
|
|
xkcd.cs
|
|
xkcd.csproj
|
|
xkcd.py
|
|
young_tableaux.cs
|
|
young_tableaux.csproj
|
|
young_tableaux.py
|
|
zebra.cs
|
|
zebra.csproj
|