From: Mart Lubbers Date: Thu, 21 Apr 2016 20:34:02 +0000 (+0200) Subject: eval thing X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=9453b29b8825df8a14c161de82e6152ab4b77da2;p=mc1516pa.git eval thing --- diff --git a/report2/results.tex b/report2/results.tex index f35556c..cd371a8 100644 --- 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. -% 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.