AgeCommit message (Expand)AuthorFilesLines
2017-01-16Added title for Q3, disabled Q4HEADmasterPeter Wu1-1/+3
2017-01-16Remove empty filePeter Wu1-0/+0
2017-01-16remote crappy tmp filePeter Wu1-255187/+0
2017-01-16NFA: finish 2Peter Wu1-2/+182
2017-01-16NFA: initial solutionPeter Wu3-0/+289
2017-01-15Part 4 problem definition and horrible implementationKoen van der Heijden4-2/+255287
2017-01-15updated gitignoreKoen van der Heijden1-0/+1
2017-01-15part 3 doneKoen van der Heijden4-6/+311
2017-01-143a done. 3b partiallyKoen van der Heijden5-3/+489
2017-01-13Grammar and readability improvementsPeter Wu1-11/+11
2017-01-13FoodDelivery: formatting to fit 1b on one pagePeter Wu1-7/+3
2017-01-13FoodDelivery: format SMT for 1a to fit on one pagePeter Wu1-24/+18
2017-01-13FoodDelivery: adjust SMT and table output, add text for 1bPeter Wu3-14/+89
2017-01-13FoodDelivery: improve solution for bPeter Wu2-13/+23
2017-01-13Revert " convert to array"Peter Wu1-17/+18 convert to arrayPeter Wu1-18/+17
2017-01-13FoodDelivery: initial textPeter Wu1-0/+138
2017-01-13food_delivery: initial implementation for bPeter Wu2-0/+25
2017-01-11food: argh, fix typoPeter Wu1-5/+11
2017-01-11WIP food deliveryPeter Wu2-0/+178
2017-01-09Center the graph figurePeter Wu1-0/+3
2017-01-09More accurate dimensions for figurePeter Wu1-8/+8
2017-01-09Part2: Initial questions typesettingPeter Wu1-0/+126
2016-12-14FormattingPeter Wu1-1/+1
2016-12-14JobScheduling: finish 3bPeter Wu2-23/+60
2016-12-14JobScheduling: redo 3aPeter Wu3-38/+390
2016-12-14PackingPallets: solved 1bPeter Wu2-4/+45
2016-12-14PackingPallets; redid 1aPeter Wu3-9/+376
2016-12-14NeighborSum: move NuSMV result next to SMT solver, add explanationPeter Wu1-81/+87
2016-12-14NeighbourSum: added NuSMVPeter Wu4-11/+228
2016-12-14Quick writedown of 1, may need some formalizationKoen van der Heijden1-1/+12
2016-12-14NeighborSum: add 4b (SMT soler part)Peter Wu3-1/+57
2016-12-14part1: add running time and remark for 4a, add email addressesPeter Wu1-5/+20
2016-12-14NeighborSum: finished 4aPeter Wu3-19/+274
2016-12-13a is good. b is notKoen van der Heijden1-77/+71
2016-12-13JobScheduling: formattingPeter Wu1-4/+5
2016-12-13ChipDesign: optimize, finish report partPeter Wu2-16/+52
2016-12-12ChipDesign: a bit more final?Peter Wu2-4/+192
2016-12-12ChipDesign: Working solutionPeter Wu2-28/+43
2016-12-12Merge remote-tracking branch 'refs/remotes/origin/master'Peter Wu1-5/+40
2016-12-12ChipDesign: add FIXME and print coordinatePeter Wu3-30/+32
2016-12-12Merge branch 'master' of Lekensteyn:true/2IMF25-ARKoen van der Heijden2-0/+18
2016-12-12solution job schedKoen van der Heijden1-5/+40
2016-12-12Merge remote-tracking branch 'refs/remotes/origin/master'Peter Wu3-0/+46
2016-12-12ChipDesign: Add text labels with size and numberPeter Wu2-0/+18
2016-12-12Merge branch 'master' of Lekensteyn:true/2IMF25-ARKoen van der Heijden3-9/+137
2016-12-12tex file editKoen van der Heijden3-0/+46
2016-12-12ChipDesign: attempt at hitting the power resourcePeter Wu3-13/+28
2016-12-12ChipDesign fixesPeter Wu3-8/+121
2016-12-11ChipDesign: added generatorPeter Wu1-0/+132