Nqueens.idp groundwithbounds performance issue

[Broes De Cat]

In most cases, the code runs quite slow but sometimes (depending on the bdd estimation heuristic?) it finds the right bdd and runs very fast. Find where the incorrect choice is made and where the non-determinism comes from.

[Bart Bogaerts]

As soon as pull request #11 is accepted, this should be fixed.

[Joachim Jansen]

Merged in krr/idp/improve_estimations (pull request #11)

This fixes issue #260

→ <<cset e702a14f4123>>