set -O3 to default
bug fix
fix detection of dominated constraints
Merge remote-tracking branch 'upstream/master'
changed Makefile
faster branching
Merge pull request #59 from bzfoltho/master

changed ex6