CSPLib is a library of test problems for constraint solvers. It currently contains 89 different types of problems from different areas.
The goal of this project is to enrich the library with new models/problems, written in Essence/Essence Prime. These problems will be mainly taken from the annual MiniZinc Competitions.
A final (possibly achievable) goal is to create a comparable benchmark set of problems which would allow for a high level comparison of the St Andrews Constraints toolchain (of which Essence is one part), against MiniZinc.
A variety of models written in Essence (or EssencePrime), and submitted to CSPLib.