Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2017-01-16 | Added title for Q3, disabled Q4HEADmaster | Peter Wu | 1 | -1/+3 | |
No more time/energy for Q4... Need to sleep. | |||||
2017-01-16 | Remove empty file | Peter Wu | 1 | -0/+0 | |
2017-01-16 | remote crappy tmp file | Peter Wu | 1 | -255187/+0 | |
2017-01-16 | NFA: finish 2 | Peter Wu | 1 | -2/+182 | |
2017-01-16 | NFA: initial solution | Peter Wu | 3 | -0/+289 | |
Python code is not cleaned up, it is working now... Generated LaTeX code was not positioned correctly, so just use GraphViz then. | |||||
2017-01-15 | Part 4 problem definition and horrible implementation | Koen van der Heijden | 4 | -2/+255287 | |
2017-01-15 | updated gitignore | Koen van der Heijden | 1 | -0/+1 | |
2017-01-15 | part 3 done | Koen van der Heijden | 4 | -6/+311 | |
2017-01-14 | 3a done. 3b partially | Koen van der Heijden | 5 | -3/+489 | |
2017-01-13 | Grammar and readability improvements | Peter Wu | 1 | -11/+11 | |
2017-01-13 | FoodDelivery: formatting to fit 1b on one page | Peter Wu | 1 | -7/+3 | |
2017-01-13 | FoodDelivery: format SMT for 1a to fit on one page | Peter Wu | 1 | -24/+18 | |
2017-01-13 | FoodDelivery: adjust SMT and table output, add text for 1b | Peter Wu | 3 | -14/+89 | |
2017-01-13 | FoodDelivery: improve solution for b | Peter Wu | 2 | -13/+23 | |
Now requires truck to return to a location, also accept any location instead of just the supply location S. | |||||
2017-01-13 | Revert "generate-food.py: convert to array" | Peter Wu | 1 | -17/+18 | |
This reverts commit d49ec13d1a039315fe3d137e003a01e635af855e. Arrays are unbounded, so avoid its use if possible. It would require more changes. | |||||
2017-01-13 | generate-food.py: convert to array | Peter Wu | 1 | -18/+17 | |
Hopefully it makes doing 1b easier. | |||||
2017-01-13 | FoodDelivery: initial text | Peter Wu | 1 | -0/+138 | |
2017-01-13 | food_delivery: initial implementation for b | Peter Wu | 2 | -0/+25 | |
2017-01-11 | food: argh, fix typo | Peter Wu | 1 | -5/+11 | |
Village D has a capacity of 160, not 120... | |||||
2017-01-11 | WIP food delivery | Peter Wu | 2 | -0/+178 | |
2017-01-09 | Center the graph figure | Peter Wu | 1 | -0/+3 | |
2017-01-09 | More accurate dimensions for figure | Peter Wu | 1 | -8/+8 | |
2017-01-09 | Part2: Initial questions typesetting | Peter Wu | 1 | -0/+126 | |
2016-12-14 | Formatting | Peter Wu | 1 | -1/+1 | |
2016-12-14 | JobScheduling: finish 3b | Peter Wu | 2 | -23/+60 | |
Previous answer was correct, but rewriting it to fit the variables used in part (a). Also adding a picture. | |||||
2016-12-14 | JobScheduling: redo 3a | Peter Wu | 3 | -38/+390 | |
The report was too terse and incomplete. For example, the included code was missing checks for the minimal time and the Java code contains a strange check for the last constraint that seems wrong (did you mean "or"?). Just redo it, saves more time. Also, the generate-jobscheduling.py scrypt contains dead code. I originally planned to implement marking dependencies, but that is not done. | |||||
2016-12-14 | PackingPallets: solved 1b | Peter Wu | 2 | -4/+45 | |
2016-12-14 | PackingPallets; redid 1a | Peter Wu | 3 | -9/+376 | |
A bit more formal and generalized. | |||||
2016-12-14 | NeighborSum: move NuSMV result next to SMT solver, add explanation | Peter Wu | 1 | -81/+87 | |
2016-12-14 | NeighbourSum: added NuSMV | Peter Wu | 4 | -11/+228 | |
2016-12-14 | Quick writedown of 1, may need some formalization | Koen van der Heijden | 1 | -1/+12 | |
2016-12-14 | NeighborSum: add 4b (SMT soler part) | Peter Wu | 3 | -1/+57 | |
2016-12-14 | part1: add running time and remark for 4a, add email addresses | Peter Wu | 1 | -5/+20 | |
2016-12-14 | NeighborSum: finished 4a | Peter Wu | 3 | -19/+274 | |
Also uncommented questions (a, b, etc.) | |||||
2016-12-13 | a is good. b is not | Koen van der Heijden | 1 | -77/+71 | |
2016-12-13 | JobScheduling: formatting | Peter Wu | 1 | -4/+5 | |
2016-12-13 | ChipDesign: optimize, finish report part | Peter Wu | 2 | -16/+52 | |
2016-12-12 | ChipDesign: a bit more final? | Peter Wu | 2 | -4/+192 | |
2016-12-12 | ChipDesign: Working solution | Peter Wu | 2 | -28/+43 | |
2016-12-12 | Merge remote-tracking branch 'refs/remotes/origin/master' | Peter Wu | 1 | -5/+40 | |
2016-12-12 | ChipDesign: add FIXME and print coordinate | Peter Wu | 3 | -30/+32 | |
2016-12-12 | Merge branch 'master' of Lekensteyn:true/2IMF25-AR | Koen van der Heijden | 2 | -0/+18 | |
2016-12-12 | solution job sched | Koen van der Heijden | 1 | -5/+40 | |
2016-12-12 | Merge remote-tracking branch 'refs/remotes/origin/master' | Peter Wu | 3 | -0/+46 | |
2016-12-12 | ChipDesign: Add text labels with size and number | Peter Wu | 2 | -0/+18 | |
2016-12-12 | Merge branch 'master' of Lekensteyn:true/2IMF25-AR | Koen van der Heijden | 3 | -9/+137 | |
2016-12-12 | tex file edit | Koen van der Heijden | 3 | -0/+46 | |
2016-12-12 | ChipDesign: attempt at hitting the power resource | Peter Wu | 3 | -13/+28 | |
2016-12-12 | ChipDesign fixes | Peter Wu | 3 | -8/+121 | |
2016-12-11 | ChipDesign: added generator | Peter Wu | 1 | -0/+132 | |