Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Tags: Sunny-cp2 Filter Results sunny-cp2 The dataset used in the paper is a portfolio of 12 solvers for constraint programming, including 8 solvers from sunny-cp and 4 new solvers. Dataset JSON