Fix branch and bound.
Remove unnecessary test.
Specifity in priority queue.
Fix matching implementation.
Carry on with fold implementation.
minor things here and there...
Minor thesis fix, add notes.
minor stuff in crown