Previously, only the exhaustive solver was used and could lead to NOEM.
This patch allows to switches from B&B solver, exhaustive solver and a
local greedy solver according to the complexity of the constraint.

(Reference: #35).