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 […]

Continue reading

Group allocation tool

Group allocation is a process which takes place many times during a regular academic year in the School. Examples include groupwork projects, tutorial allocations, marker assignments, etc. Selecting optimal groups is a difficult problem because there are many constraints, such as balancing skills and interests, avoiding certain groupings (e.g. not repeating the same partner during […]

Continue reading

Constraint Solvers for Solitaire Games of Perfect Information

Most focus in games Artificial Intelligence focusses on games involving two or more players. However, many people enjoy single-player games, sometimes called “Solitaire Games”. Examples are many variants of card Solitaire games (called Patience in the UK), the game Peg-Solitaire, and many others which still fall into the category despite not having “solitaire” in the […]

Continue reading

Room Booking System

This projects involves the design and implementation of a room booking system for a University. After a full requirements assessment, candidate technologies will be investigated and a suitable development environment selected. Initially, the system will work on a local server using simulated data and dummy users. After this proof-of-concept stage, a more realistic setting will […]

Continue reading