From 9453b29b8825df8a14c161de82e6152ab4b77da2 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 21 Apr 2016 22:34:02 +0200 Subject: [PATCH] eval thing --- report2/results.tex | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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. -- 2.20.1