WG211/M8Jefferson

DoMinion : Generating Efficient Constraint Programming Solvers

Christopher Jefferson

Constraint Programming is a field where the efficiency of software tools is paramount. The Minion constraint solver was developed at St. Andrews and has been carefully tuned to have high performance over as many problems as possible.

This talk will present preliminary research in our new solver, DoMinion, which aims to generate a custom-solver for a given problem, using a large range of component parts. Our aim is to allow as generic a system as possible, while ensuring the resulting solvers are as fast as custom-written ones.