repositories
/
mc1516pa.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
e77120a
)
eval thing
author
Mart Lubbers
<mart@martlubbers.net>
Thu, 21 Apr 2016 20:34:02 +0000
(22:34 +0200)
committer
Mart Lubbers
<mart@martlubbers.net>
Thu, 21 Apr 2016 20:34:02 +0000
(22:34 +0200)
report2/results.tex
patch
|
blob
|
history
diff --git
a/report2/results.tex
b/report2/results.tex
index
f35556c
..
cd371a8
100644
(file)
--- a/
report2/results.tex
+++ b/
report2/results.tex
@@
-75,4
+75,8
@@
Secondly, due to the relatively short introduction to BDDs the gap between our
knowlegde and the knowledge required to build such a solver is quite big. This
lead to startup problems.
knowlegde and the knowledge required to build such a solver is quite big. This
lead to startup problems.
-% Maybe something about the complexity of the assignment
+The work was divided evenly in the beginning of the project. When we noticed
+that we did not have enough time to implement two solutions or even a hybrid
+approach we decided to go through with the solution that seemed the most
+doable. In the next phase of the project Alexander did more of the programming
+and Mart more of the report. Cumulatively we spent a lot of time on it.