index
:
true/2IMF25-AR
master
Automated Reasoning
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
Files
Lines
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
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
2016-12-14
JobScheduling: redo 3a
Peter Wu
3
-38
/
+390
2016-12-14
PackingPallets: solved 1b
Peter Wu
2
-4
/
+45
2016-12-14
PackingPallets; redid 1a
Peter Wu
3
-9
/
+376
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
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
2016-12-11
Skeleton for Chip design
Koen van der Heijden
2
-3
/
+67
2016-12-11
Initialized Chip Design
Koen van der Heijden
2
-0
/
+6
2016-12-11
Finished job scheduling
Koen van der Heijden
3
-2
/
+84
2016-12-11
Removed package for easier compiling
Koen van der Heijden
1
-13
/
+22
2016-12-11
Correct format, just runs too slow...
Koen van der Heijden
6
-0
/
+181
2016-12-05
Add student numbers
Peter Wu
1
-1
/
+1
2016-12-05
Add empty z3 files
Koen van der Heijden
4
-0
/
+0
2016-12-05
Add assignment text to the template
Peter Wu
1
-1
/
+88
2016-12-05
Initial commit
Peter Wu
2
-0
/
+34