From: Mart Lubbers Date: Thu, 21 Apr 2016 19:05:18 +0000 (+0200) Subject: update results.tex X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=537acfbb6416760c9122585d01dc75d10ef04306;p=mc1516pa.git update results.tex --- diff --git a/report2/results.tex b/report2/results.tex index d9ba68c..78331bb 100644 --- a/report2/results.tex +++ b/report2/results.tex @@ -55,3 +55,18 @@ initial state with the relative product of the transitions belonging to the correct direction. After that the problem is solved as usual and thus notifying the user wether the LURD leads to a solvable state. Note that when the LURD is empty the program behaves like there was no LURD given. + +\subsection{Evaluation} +The assignment was a very interesting and challenging assignment. However, we +feel that we could not get the most out of it due to several reasons. + +First of all it was a hassle to get to know sylvan and to be able to use the +package. There were some trivial errors in the sylvan package that made +debugging a lot harder. One of those errors was malformed dot output for +printing BDDs. In the meantime we have made a pullrequest to fix that. + +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