Alternative NoGoodLearning with the newly created NoGood representations

[ellmau]

Is your feature request related to a problem? Please describe.
An algorithm, which will learn even more than the current implementation of the search space exploitation by using a more robust and better memorable set of NoGoods.

Describe the solution you'd like
Usage of NoGoods and the NoGoodStore #65 for a less recursive approach.

Describe alternatives you've considered
This is an alternative to the current implementation.

Additional context
We hope to further improve the performance of adf-bdd by adding this feature. In any case we will see if and how much the performance will change with this alternative approach.