Enriching CSPLib

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.

Prerequisite Modules

CS4402,CS5011

Supervisors

,

Artefact(s)

A variety of models written in Essence (or EssencePrime), and submitted to CSPLib.

Background

CSPLib
MiniZinc Challenge
MiniZinc Benchmarks
Essence