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.

Data and Resources

Cite this as

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2024). Dataset: sunny-cp2. https://doi.org/10.57702/4j1ph6xr

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.1502.03986
Author Roberto Amadini
More Authors
Maurizio Gabbrielli
Jacopo Mauro
Homepage https://github.com/CP-Unibo/sunny-cp