Fixed a bug in the DDG lower bound estimator. Keep on debugging...
Fixed a little compilation error.
All known bug fixed: the algorithm now seems to work well!
Nothing done here, just to clean the folder.