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.
You can also access this registry using the API (see API Docs).