diff options
| author | Erin van der Veen | 2018-07-06 16:17:16 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-07-06 16:17:16 +0200 |
| commit | 4fe947b3800f10f4cd3e7eac16279a19aabb875d (patch) | |
| tree | 55e9900adeb83175fc7a2c373bffde39dc53609d /Assignment2/report/assignment2.tex | |
| parent | Try to let Z3 minimize stuff (diff) | |
Initial discussion of encountered problems
Diffstat (limited to 'Assignment2/report/assignment2.tex')
| -rw-r--r-- | Assignment2/report/assignment2.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Assignment2/report/assignment2.tex b/Assignment2/report/assignment2.tex index 4e0424b..c9a94f7 100644 --- a/Assignment2/report/assignment2.tex +++ b/Assignment2/report/assignment2.tex @@ -35,6 +35,7 @@ \input{intro} \input{method} \input{implementation} +\input{discussion} \bibliography{library} \bibliographystyle{splncs04} |