Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 3 datasets found Groups: Constraint Programming Organizations: No Organization Formats: JSON Filter Results Kiwi — A Minimalist CP Solver Kiwi is a minimalist and extendable Constrain Programming (CP) solver specifically designed for education. Dataset JSON 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 Cost Function Library benchmark The dataset used in this paper is the Cost Function Library benchmark. Dataset JSON
