Skip to Main content Skip to Navigation
New interface
Reports (Technical report)

SUNNY-CP: a Portfolio Solver for Constraint Programming

Roberto Amadini 1, 2 Maurizio Gabbrielli 2, 1 Jacopo Mauro 3 
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significantly boost the performance of single solvers, especially when multicore architectures are exploited. In this work we give a brief overview of the portfolio solver sunny-cp, and we discuss its performance in the last MiniZinc Challenge —the annual international competition for CP solvers— where it won a gold medal.
Document type :
Reports (Technical report)
Complete list of metadata
Contributor : Jacopo Mauro Connect in order to contact the contributor
Submitted on : Thursday, June 23, 2016 - 9:58:44 AM
Last modification on : Wednesday, October 26, 2022 - 8:13:48 AM
Long-term archiving on: : Saturday, September 24, 2016 - 12:06:53 PM


Files produced by the author(s)


  • HAL Id : hal-01336407, version 1



Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP: a Portfolio Solver for Constraint Programming. [Technical Report] Inria Sophia Antipolis. 2016. ⟨hal-01336407⟩



Record views


Files downloads