Comparing Constraint Programming Pipelines
Constraint programming is an important field in computer science for solving constraint problems; problems with a set of rules like Sudoku not allowing the same number in a row or column. These constraint problems appear over many critical domains such as healthcare or industry, and as such are of interest in solving quickly and efficiently. There are multiple tools and languages to solve constraint problems, and this project compares two easy-to-use and popular pipelines; Essence Prime with Savile Row and MiniZinc.
Keywords
Constraint Programming, Modelling, Solving
Staff
[Joan Espasa]{jea20} and [Ruth Hoffmann]{rh347}