Commit d58c1819 authored by Gauthier Quesnel's avatar Gauthier Quesnel
Browse files

solver-z: rewrite runtime solver selection

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).
parent ce81b6df
Pipeline #11939 passed with stage
in 1 minute and 26 seconds