|
..
|
|
solution
|
|
3_jugs_regular.cs
|
|
TaskScheduling.cs
|
|
a_puzzle.cs
|
|
a_round_of_golf.cs
|
|
all_interval.cs
|
|
alldifferent_except_0.cs
|
|
assignment.cs
|
|
broken_weights.cs
|
|
bus_schedule.cs
|
|
circuit.cs
|
|
circuit2.cs
|
|
coins3.cs
|
|
coins_grid.cs
|
|
combinatorial_auction2.cs
|
|
contiguity_regular.cs
|
|
contiguity_transition.cs
|
|
costas_array.cs
|
|
covering_opl.cs
|
|
crew.cs
|
|
crossword.cs
|
|
crypta.cs
|
|
crypto.cs
|
|
cscvrptw.cs
|
|
csflow.cs
|
|
csfz.cs
|
|
csintegerprogramming.cs
|
|
csjobshop.cs
|
|
csknapsack.cs
|
|
cslinearprogramming.cs
|
|
csls_api.cs
|
|
csrabbitspheasants.cs
|
|
cstsp.cs
|
|
curious_set_of_integers.cs
|
|
debruijn.cs
|
|
diet.cs
|
|
discrete_tomography.cs
|
|
divisible_by_9_through_1.cs
|
|
dudeney.cs
|
|
einav_puzzle2.cs
|
|
eq10.cs
|
|
eq20.cs
|
|
fill_a_pix.cs
|
|
furniture_moving.cs
|
|
furniture_moving_intervals.cs
|
|
futoshiki.cs
|
|
gate_scheduling_sat.cs
|
|
golomb_ruler.cs
|
|
grocery.cs
|
|
hidato_table.cs
|
|
jobshop_ft06_sat.cs
|
|
just_forgotten.cs
|
|
kakuro.cs
|
|
kenken2.cs
|
|
killer_sudoku.cs
|
|
labeled_dice.cs
|
|
langford.cs
|
|
least_diff.cs
|
|
lectures.cs
|
|
magic_sequence.cs
|
|
magic_square.cs
|
|
magic_square_and_cards.cs
|
|
map.cs
|
|
map2.cs
|
|
marathon2.cs
|
|
max_flow_taha.cs
|
|
max_flow_winston1.cs
|
|
minesweeper.cs
|
|
mr_smith.cs
|
|
nontransitive_dice.cs
|
|
nqueens.cs
|
|
nurse_rostering_regular.cs
|
|
nurse_rostering_transition.cs
|
|
nurses_sat.cs
|
|
olympic.cs
|
|
organize_day.cs
|
|
organize_day_intervals.cs
|
|
p_median.cs
|
|
pandigital_numbers.cs
|
|
partition.cs
|
|
perfect_square_sequence.cs
|
|
photo_problem.cs
|
|
place_number_puzzle.cs
|
|
post_office_problem2.cs
|
|
quasigroup_completion.cs
|
|
regex.cs
|
|
rogo2.cs
|
|
scheduling_speakers.cs
|
|
secret_santa.cs
|
|
secret_santa2.cs
|
|
send_more_money.cs
|
|
send_more_money2.cs
|
|
send_most_money.cs
|
|
seseman.cs
|
|
set_covering.cs
|
|
set_covering2.cs
|
|
set_covering3.cs
|
|
set_covering4.cs
|
|
set_covering_deployment.cs
|
|
set_covering_skiena.cs
|
|
set_partition.cs
|
|
sicherman_dice.cs
|
|
ski_assignment.cs
|
|
slow_scheduling.cs
|
|
stable_marriage.cs
|
|
strimko2.cs
|
|
subset_sum.cs
|
|
sudoku.cs
|
|
survo_puzzle.cs
|
|
techtalk_scheduling.cs
|
|
to_num.cs
|
|
traffic_lights.cs
|
|
volsay.cs
|
|
volsay2.cs
|
|
volsay3.cs
|
|
wedding_optimal_chart.cs
|
|
who_killed_agatha.cs
|
|
word_square.cs
|
|
xkcd.cs
|
|
young_tableaux.cs
|
|
zebra.cs
|