index
:
true/2IMF25-AR
master
Automated Reasoning
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
part1.tex
Age
Commit message (
Expand
)
Author
Files
Lines
2016-12-14
Formatting
Peter Wu
1
-1
/
+1
2016-12-14
JobScheduling: finish 3b
Peter Wu
1
-23
/
+54
2016-12-14
JobScheduling: redo 3a
Peter Wu
1
-38
/
+135
2016-12-14
PackingPallets: solved 1b
Peter Wu
1
-4
/
+38
2016-12-14
PackingPallets; redid 1a
Peter Wu
1
-9
/
+142
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
1
-3
/
+150
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
1
-0
/
+42
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
1
-19
/
+132
2016-12-13
JobScheduling: formatting
Peter Wu
1
-4
/
+5
2016-12-13
ChipDesign: optimize, finish report part
Peter Wu
1
-10
/
+50
2016-12-12
ChipDesign: a bit more final?
Peter Wu
1
-3
/
+184
2016-12-12
ChipDesign: Working solution
Peter Wu
1
-22
/
+22
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
1
-12
/
+12
2016-12-12
Merge branch 'master' of Lekensteyn:true/2IMF25-AR
Koen van der Heijden
1
-0
/
+12
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
1
-0
/
+39
2016-12-12
ChipDesign: Add text labels with size and number
Peter Wu
1
-0
/
+12
2016-12-12
Merge branch 'master' of Lekensteyn:true/2IMF25-AR
Koen van der Heijden
1
-1
/
+20
2016-12-12
tex file edit
Koen van der Heijden
1
-0
/
+39
2016-12-12
ChipDesign: attempt at hitting the power resource
Peter Wu
1
-12
/
+12
2016-12-12
ChipDesign fixes
Peter Wu
1
-0
/
+19
2016-12-05
Add student numbers
Peter Wu
1
-1
/
+1
2016-12-05
Add assignment text to the template
Peter Wu
1
-1
/
+88
2016-12-05
Initial commit
Peter Wu
1
-0
/
+24