SUNNY: a Lazy Portfolio Approach for Constraint Solving

Open in new window