Martin Thoma 7740f0147f Remove trailing spaces %!s(int64=9) %!d(string=hai) anos
..
DPLL.png 70f11df517 weitere Information %!s(int64=12) %!d(string=hai) anos
DPLL.tex 7740f0147f Remove trailing spaces %!s(int64=9) %!d(string=hai) anos
Makefile 03756e0131 DPLL %!s(int64=12) %!d(string=hai) anos
README.md a5da0b9a7b Readme.md -> README.md to make it easier to see Readme files %!s(int64=11) %!d(string=hai) anos

README.md

Compiled example

Example