Update README.md
Merge pull request #56 from rallenz/master

a bit code cleaning
set -O3 to default
bug fix
fix detection of dominated constraints
Merge remote-tracking branch 'upstream/master'
removed dead code printf
Merge branch 'matthiasMaster'
changed Makefile
faster branching
Merge pull request #57 from apfelix/master

ex6 - resolved coverty errors
Merge pull request #59 from bzfoltho/master

changed ex6
Example 6
Merge pull request #60 from bzfkocht/master

Example 6
exercise 6